Complete representations in algebraic logic
From MaRDI portal
Publication:4372908
Recommendations
Cites work
Cited in
(47)- Positive fragments of relevance logic and algebras of binary relations
- The finitely axiomatizable complete theories of non-associative arrow frames
- On complete representations of algebras of logic
- Geometrical representation theorems for cylindric-type algebras
- Algebraic Logic, Where Does it Stand Today?
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Subcompletions of representable relation algebras
- scientific article; zbMATH DE number 1790851 (Why is no real title available?)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Relation algebras from cylindric algebras. I
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Functionally dense relation algebras
- Difference-restriction algebras of partial functions: axiomatisations and representations
- Completely representable lattices
- Relation algebra reducts of cylindric algebras and complete representations
- Omitting types for finite variable fragments and complete representations of algebras
- Atom structures of cylindric algebras and relation algebras
- Neat embeddings, omitting types, and interpolation: an overview
- Games in algebraic logic: axiomatisations and beyond
- A curve and its abstract Jacobian
- Axiomatizing complex algebras by games.
- A representation theorem for measurable relation algebras
- On axiomatising products of Kripke frames
- Some results about neat reducts
- Notions of representability for cylindric algebras: some algebras are more representable than others
- Complete representation by partial functions for composition, intersection and anti-domain
- On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
- Completely Representable Relation Algebras
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Strongly representable atom structures of cylindric algebras
- Blow Up and Blur Constructions in Algebraic Logic
- Omitting Types in Fragments and Extensions of First Order Logic
- Complete Representations and Neat Embeddings
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Neat embeddings as adjoint situations
- Omitting types algebraically and more about amalgamation for modal cylindric algebras
- Classes of algebras that are not closed under completions
- Strongly representable atom structures of relation algebras
- On complete representations of reducts of polyadic algebras
- Complete representation by partial functions for signatures containing antidomain restriction
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- Representability is not decidable for finite relation algebras
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
- Omitting types for algebraizable extensions of first order logic
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- A construction of cylindric and polyadic algebras from atomic relation algebras
This page was built for publication: Complete representations in algebraic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372908)
