Boolean Algebras with Operators. Part I

Cited in

(only showing first 100 items - show all)

Solving the \$100 modal logic challenge
Comparison of MacNeille, canonical, and profinite completions
Topological duality for Boolean algebras with a normal $n$-ary monotonic operator
Completion of Boolean algebras in MSet
Arrow categories
An algebraic study of well-foundedness
Topology and duality in modal logic
Disjunctive property of superintuitionist and modal logics
The lattice of varieties of modal algebras is not strongly atomic
Boolean modules
The well-founded algebras
Algebraic and relational semantics for tense logics
Loeb operators and interior operators
Programs as partial graphs. I: Flow equivalence and correctness
One variable is not enough for defining relation algebras, but two are
Language in action
Remarks on Priestley duality for distributive lattices
The origin of relation algebras in the development and axiomatization of the calculus of relations
Algebraization of quantifier logics, an introductory overview
An algebraic approach to traditional logic
Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
Unifying threads in Alfred Tarski's work
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 perspective on the theory of relation algebras
Peirce algebras
On the canonicity of Sahlqvist identities
On the structure of varieties with equationally definable principal congruences. III
Towards automating duality
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
Relation-algebraic semantics
Parallel constructions of maximal path sets and applications to short superstrings
Complexity of equations valid in algebras of relations. II: Finite axiomatizations
Squares in fork arrow logic
Synonymous logics
Four-valued logic
Mathematical modal logic: A view of its evolution
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
A proof system for contact relation algebras
The genesis of possible worlds semantics
Quantum logic as a fragment of independence-friendly logic
Canonical extensions and Kripke-Galois semantics for non-distributive logics
Canonical extensions of bounded Archimedean vector lattices
Subcompletions of representable relation algebras
The convolution algebra
An error in a proof in: Boolean algebras with operators. I
Order-dual relational semantics for non-distributive propositional logics: a general framework
Algebraic foundations for qualitative calculi and networks
A new proof of the McKinsey-Tarski theorem
Functionally dense relation algebras
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
A representation theorem for measurable relation algebras
Canonical extensions and ultraproducts of polarities
Power structures
Key notions of Tarski's methodology of deductive systems
Varieties of logical matrices
Duality between modal algebras and neighbourhood frames
On the structure of varieties with equationally definable principal congruences. I
Tarskian set constraints
Three dual ontologies
Decision problems for distributive lattice-ordered semigroups
Predicate transformers as power operations
Perfect extensions of regular double Stone algebras
Representations for small relation algebras
Total tense algebras and symmetric semiassociative relation algebras
Elementary generation and canonicity for varieties of Boolean algebras with operators
Axiomatization of identity-free equations valid in relation algebras
Duality for algebras of relevant logics
Relativizations of relation algebras by the diversity
Varieties generated by modes of submodes
_1-completions of a poset.
Existentially closed closure algebras
Tribute to Bjarni Jónsson
Cylindric algebras and finite polyadic algebras
Term algebras of elementarily equivalent atom structures
Canonical extensions: an algebraic approach to Stone duality
Ultrafilters, finite coproducts and locally connected classifying toposes
Irreducible equivalence relations, Gleason spaces, and de Vries duality
A categorical duality for semilattices and lattices
Definable operators on stable set lattices
Computational complexity for bounded distributive lattices with negation
On ultrafilter extensions of first-order models and ultrafilter interpretations
Reasoning about distributed information with infinitely many agents
So, what exactly is a qualitative calculus?
Lambek calculus with conjugates
A topological duality for monotone expansions of semilattices
Canonical extensions of lattices are more than perfect
A stone-type duality theorem for separation logic via its underlying bunched logics
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Reducts of relation algebras: the aspects of axiomatisability and finite representability
Difference-restriction algebras of partial functions: axiomatisations and representations
Choice-free duality for orthocomplemented lattices by means of spectral spaces
Relation algebras of intervals
Relation algebras of Sugihara, Belnap, Meyer, and Church
Bitopological duality for algebras of Fitting's logic and natural duality extension
The Vietoris functor and modal operators on rings of continuous functions
Algorithmic correspondence and canonicity for non-distributive logics
Monotonic distributive semilattices
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
The Vietoris monad and weak distributive laws

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)