Boolean Algebras with Operators. Part I

Cited in

(only showing first 100 items - show all)

Refinement for signal flow graphs
Meredith, Prior, and the history of possible worlds semantics
Canonical varieties with no canonical axiomatisation
The origin of relation algebras in the development and axiomatization of the calculus of relations
Discrete duality for 3-valued Łukasiewicz-Moisil algebras
Local compactness in MT-algebras
scientific article; zbMATH DE number 3991565 (Why is no real title available?)
Relation algebras of Sugihara, Belnap, Meyer, and Church
Perfect extensions of regular double Stone algebras
Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
Dualities for modal algebras from the point of view of triples
Boolean modules
Splitting lattices of logics
Current trends in substructural logics
Connected modal logics
Monadic ortholattices: completions and duality
Discrete dualities for Monteiro's tetravalent modal algebras
A perspective on the theory of relation algebras
A relational semantics for the logic of bounded lattices
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
Non-normal modal logics and conditional logics: semantic analysis and proof theory
Łukasiewicz-Moisil relation algebras
Modal Semirings Revisited
Three dual ontologies
Term algebras of elementarily equivalent atom structures
Stone duality and the recognisable languages over an algebra
Topologies, Continuity and Bisimulations
Canonicity in subvarieties of BL-algebras
Comparison of MacNeille, canonical, and profinite completions
Canonical extensions via fitted sublocales
Algebraic and relational semantics for tense logics
Algebraic foundations for qualitative calculi and networks
Cylindric-relativised set algebras have strong amalgamation
A unifying study between modal-like operators, topologies and fuzzy sets
Complexity of equations valid in algebras of relations. II: Finite axiomatizations
Monotonic distributive semilattices
Relation algebras of every dimension
scientific article; zbMATH DE number 7552279 (Why is no real title available?)
Kripke completeness of infinitary predicate multimodal logics
Canonical extensions of bounded Archimedean vector lattices
The Vietoris monad and weak distributive laws
Canonical extensions and canonicity via dcpo presentations
More about divisibility in βN
Ideal Related Algebras and Their Logics Extended Abstract
On ultrafilter extensions of first-order models and ultrafilter interpretations
Conditional algebras
Disjunctive property of superintuitionist and modal logics
Axiomatization of identity-free equations valid in relation algebras
Algebraic proof theory for substructural logics: cut-elimination and completions
Validity and necessity
Semantic analysis of tense logics
Natural duality, modality, and coalgebra
Logic and biology: the correspondence between Alfred Tarski and Joseph H. Woodger
The power of a propositional constant
A Sahlqvist theorem for distributive modal logic
Canonical extensions of lattices are more than perfect
Relativised quantification: Some canonical varieties of sequence-set algebras
POWER STRUCTURES AND LOGIC
MacNeille completions and canonical extensions
A model theory of topology
scientific article; zbMATH DE number 7471716 (Why is no real title available?)
Representations for small relation algebras
scientific article; zbMATH DE number 3142898 (Why is no real title available?)
Canonical extensions: an algebraic approach to Stone duality
Relational semantics for full linear logic
Geometrical representation theorems for cylindric-type algebras
Krull dimension in modal logic
Algebras of modal operators and partial correctness
A duality for Boolean algebras with operators
Quantum monadic algebras
Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
Logics for propositional contingentism
Tarskian Classical Relevant Logic
Algebraic coherent confluence and higher globular Kleene algebras
Pair-Dense Relation Algebras
Intuitionistic Sahlqvist theory for deductive systems
On the structure of modal and tense operators on a Boolean algebra
Language in action
Convolution and concurrency
On some congruences of power algebras
Irreducible equivalence relations, Gleason spaces, and de Vries duality
On the Semilattice of Modal Operators and Decompositions of the Discriminator
Bitopological duality for algebras of Fitting's logic and natural duality extension
Stone-type dualities for separation logics
A constructive Galois connection between closure and interior
Completion of Boolean algebras in MSet
Logical analysis of emotions in text from natural language
Difference hierarchies and duality with an application to formal languages
Decision problems for distributive lattice-ordered semigroups
Programs as partial graphs. I: Flow equivalence and correctness
Subcompletions of representable relation algebras
Representations and dualities for bounded lattices
Convolution as a Unifying Concept
Canonical extensions and Kripke-Galois semantics for non-distributive logics
A categorical duality for semilattices and lattices
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
Elementary generation and canonicity for varieties of Boolean algebras with operators
Erdős Graphs Resolve Fine's Canonicity Problem
Order-dual relational semantics for non-distributive propositional logics: a general framework
The Vietoris functor and modal operators on rings of continuous functions

This page was built for publication: Boolean Algebras with Operators. Part I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5810598)