Boolean Algebras with Operators

Cited in

(only showing first 100 items - show all)

Positive fragments of relevance logic and algebras of binary relations
Finite equational bases for finite algebras in a congruence-distributive equational class
Relation algebras of Sugihara, Belnap, Meyer, and Church
Dualities for modal algebras from the point of view of triples
Boolean modules
Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
Complete representations in algebraic logic
Current trends in substructural logics
Monadic ortholattices: completions and duality
A relational semantics for the logic of bounded lattices
scientific article; zbMATH DE number 7243670 (Why is no real title available?)
Term algebras of elementarily equivalent atom structures
Canonical extensions via fitted sublocales
Varieties generated by completions
Relation algebras of every dimension
scientific article; zbMATH DE number 7552279 (Why is no real title available?)
Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras
Relational demonic fuzzy refinement
Relation algebras and Schröder categories
More about divisibility in βN
Weakening Relation Algebras and FL^2-algebras
On ultrafilter extensions of first-order models and ultrafilter interpretations
Algebraic proof theory for substructural logics: cut-elimination and completions
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
Complexity of equations valid in algebras of relations. I: Strong non-finitizability
A Sahlqvist theorem for distributive modal logic
Canonical extensions of lattices are more than perfect
MacNeille completions and canonical extensions
Representations for small relation algebras
The variety of coset relation algebras
Canonical extensions: an algebraic approach to Stone duality
Relational semantics for full linear logic
Dedekind categories with cutoff operators
Tractable approximations for temporal constraint handling
Quantum monadic algebras
Tarskian Classical Relevant Logic
Pair-Dense Relation Algebras
Intuitionistic Sahlqvist theory for deductive systems
Step by step – Building representations in algebraic logic
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
On some congruences of power algebras
Completion of Boolean algebras in MSet
Groupoid quantales: A non-étale setting
Logical analysis of emotions in text from natural language
Relation algebras: Concept of points and representability
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
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
Erdős Graphs Resolve Fine's Canonicity Problem
Canonical extensions, Esakia spaces, and universal models
On Tarski's axiomatic foundations of the calculus of relations
Relation-algebraic semantics
Some Varieties Containing Relation Algebras
Information algebras
Ultrafilter extensions of bounded graphs are elementary
Canonical extensions and relational completeness of some substructural logics
Relation algebras from cylindric algebras. I
Four-valued logic
Characteristic formulas over intermediate logics
Tarskian set constraints
Duality for modal $\mu$-logics
Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties
Computing distributed knowledge as the greatest lower bound of knowledge
Canonical Relativized Cylindric Set Algebras and Weak Associativity
Programming and automating mathematics in the Tarski-Kleene hierarchy
Bounded lattice expansions
A new algebraic approach to L-fuzzy relations convenient to study crispness
Coalgebraic representations of distributive lattices with operators
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
A relation algebraic model of robust correctness
Finite, integral, and finite-dimensional relation algebras: A brief history
Solving the \$100 modal logic challenge
Multi-sorted residuation
Notions of density that imply representability in algebraic logic
A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
Lattice logic as a fragment of (2-sorted) residuated modal logic
A sequent calculus for relation algebras
A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
Atom structures of cylindric algebras and relation algebras
Cylindric algebras and finite polyadic algebras
Complete abstractions and subclassical modal logics
Finite-Chain Graded Modal Logic
Stone duality for relations
Computational complexity for bounded distributive lattices with negation
Relation algebras and groups
Relational characterisations of paths
ON DEFINABILITY IN MULTIMODAL LOGIC
An undecidability result for relation algebras
Lewisian fixed points. I: Two incomparable constructions
Representability of Ramsey relation algebras
On undecidability of the propositional logic of an associative binary modality
A representation theorem for measurable relation algebras
Grothendieck ring of the pairing function without cycles
Dependencies in relational models of databases
The lattice of varieties of representable relation algebras
Mathematical modal logic: A view of its evolution

This page was built for publication: Boolean Algebras with Operators

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