Boolean Algebras with Operators. Part I
From MaRDI portal
Publication:5810598
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)