Related papers: Modal operators for meet-complemented lattices
We study possibilities for algebraic closures, differences between definable and algebraic closures in first-order structures, and variations of these closures with respect to the bounds of cardinalities of definable sets and given sets of…
We identify conditions giving large natural classes of partial differential operators for which it is possible to construct a complete set of Laplace invariants. In order to do that we investigate general properties of differential…
Quasi-lattices are introduced in terms of 'join' and 'meet' operations. It is observed that quasi-lattices become lattices when these operations are associative and when these operations satisfy 'modularity' conditions. A fundamental…
We deal with the following question: What is the proper way to introduce symmetric difference in orthomodular lattices? Imposing two natural conditions on this operation, six possibilities remain: the two (commutative) normal forms of the…
This paper is the first part of a study devoted to description of modular elements in the lattices of semigroup and epigroup varieties. We provide strengthened necessary and sufficient conditions under which a semigroup or epigroup variety…
In this paper we discuss the properties of the biordered set obtained from a complemented modular lattice and defines an operation using the sandwich elements of the biordered set. Further we describe a biordered subset satisfying certain…
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…
In this paper, we investigate the algebras of consequence operators and finite consequence operators on a fixed language. Significant new collections of consequence operators are defined and shown to be complete and distributive…
We consider various systematic ways of defining unbounded operator valued integrals of complex functions with respect to (mostly) positive operator measures and positive sesquilinear form measures, and investigate their relationships to…
We define an integral intertwining operator among modules for a vertex operator algebra to be an intertwining operator which respects integral forms in the modules, and we show that an intertwining operator is integral if it is integral…
We continue our study of the mapping ideal of operator $p$-compact maps, previously introduced by the authors. Our approach embraces a more geometric perspective, delving into the interplay between operator $p$-compact mappings and matrix…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…
We study the poset NO(B) of necessity operators on a boolean algebra B. We show that NO(B) is a meet-semilattice that need not be distributive. However, when B is complete, NO(B) is necessarily a frame, which is spatial iff B is atomic. In…
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Plo\v{s}\v{c}ica. The standard representations of complete ortholattices and complete perfect Heyting…
We study weighted composition operators acting between Fock spaces. The following results are obtained: (1) Criteria for the boundedness and compactness; (2) Characterizations of compact differences and essential norm; (3) Complete…
Non-iterative normal modal logics are defined by axioms of modal degree 1. In this paper we use calculations with normal forms to determine the set of all possible non-iterative normal modal logics, unimodal propositional extensions of K.…
Unbounded composition operators in $L^2$-space over discrete measure spaces are investigated. Normal, formally normal and quasinormal composition operators acting in $L^2$-spaces of this kind are characterized.
We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…
We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae $\varphi,\varphi'$, decide whether there is a modal formula $\psi$ that separates them, that is, that satisfies…
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to…