The finitely axiomatizable complete theories of non-associative arrow frames

DOI10.1016/J.AIM.2019.01.014zbMath1457.03043OpenAlexW2914527465WikidataQ128424799 ScholiaQ128424799MaRDI QIDQ1731561

Mohamed Khaled

Publication date: 13 March 2019

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2019.01.014

zbMATH Keywords

relation algebrasfinite model propertyarrow logicfinitely axiomatizable theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (4)

DISTANCES BETWEEN FORMAL THEORIES ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Varieties generated by completions ⋮ Atoms in infinite dimensional free sequence-set algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Language in action. Categories, lambdas and dynamic logic
• Multi-dimensional modal logic
• Many-dimensional modal logics: theory and applications
• Normal forms in modal logic
• On atomicity of free algebras in certain cylindric-like varieties
• On complete representations of algebras of logic
• Some Varieties Containing Relation Algebras
• Decidability of Relation Algebras with Weakened Associativity
• Step by step – Building representations in algebraic logic
• Complete representations in algebraic logic
• General normal forms for any additive logic
• Stone type representation theorems via games
• The free non-commutative cylindric algebras are not atomic
• Free algebras in discriminator varieties

This page was built for publication: The finitely axiomatizable complete theories of non-associative arrow frames