Step by step – Building representations in algebraic logic
From MaRDI portal
(Redirected from Publication:4338323)
Recommendations
Cites work
- scientific article; zbMATH DE number 3908418 (Why is no real title available?)
- scientific article; zbMATH DE number 3421490 (Why is no real title available?)
- A nonpermutational integral relation algebra
- Algebraization of quantifier logics, an introductory overview
- Axioms for tense logic. I: 'Since' and 'until'
- Boolean Algebras with Operators
- Completing theories by forcing
- Cylindric algebras. Part II
- Maintaining knowledge about temporal intervals
- On representable relation algebras
- Preface for Studia Logica special issue (2)
- Representations of integral relation algebras
- Temporal constraint networks
- The representation of relation algebras. II
- The representation of relational algebras
- Weakly representable but not representable relation algebras
Cited in
(26)- Canonical varieties with no canonical axiomatisation
- Rectangular games
- The finitely axiomatizable complete theories of non-associative arrow frames
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Geometrical representation theorems for cylindric-type algebras
- Tractable approximations for temporal constraint handling
- Algebraic Logic, Where Does it Stand Today?
- Axiomatising Various Classes of Relation and Cylindric Algebras
- Relation algebras from cylindric algebras. I
- Relation algebras by games
- On the representability of neatly embeddable CA's by cylindric relativized 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
- Reducts of relation algebras: the aspects of axiomatisability and finite representability
- Relation algebras of intervals
- Circuits in \textit{RGB Express}
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- How many varieties of cylindric algebras are there
- Strongly representable atom structures of relation algebras
- Inequivalent representations of geometric relation algebras
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- Representability is not decidable for finite relation algebras
- The polyadic generalization of the Boolean axiomatization of fields of sets
- Omitting types for algebraizable extensions of first order logic
This page was built for publication: Step by step – Building representations in algebraic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4338323)
