The finitely axiomatizable complete theories of non-associative arrow frames

DOI10.1016/J.AIM.2019.01.014MaRDI QIDQ1731561zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1047505
• On the irreducible non first normal form relations
• Free Modal Algebras: A Coalgebraic Perspective
• scientific article; zbMATH DE number 1047502
• Normal forms and free algebras for some extensions of MTL
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• scientific article; zbMATH DE number 2174391
• scientific article; zbMATH DE number 194904
• Arrow logic and infinite counting
• Publication:4724632

Cites work

• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 49239 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1047506 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• scientific article; zbMATH DE number 873168 (Why is no real title available?)
• Complete representations in algebraic logic
• Decidability of Relation Algebras with Weakened Associativity
• Free algebras in discriminator varieties
• General normal forms for any additive logic
• Language in action. Categories, lambdas and dynamic logic
• Many-dimensional modal logics: theory and applications
• Multi-dimensional modal logic
• Normal forms in modal logic
• On atomicity of free algebras in certain cylindric-like varieties
• On complete representations of algebras of logic
• Relation algebras by games
• Some Varieties Containing Relation Algebras
• Step by step – Building representations in algebraic logic
• Stone type representation theorems via games
• The free non-commutative cylindric algebras are not atomic

Cited in

(5)

• Distances between formal theories
• Varieties generated by completions
• About the complete axiomatization of dynamic extensions of arrow logic
• Nonrepresentable relation algebras from groups
• Atoms in infinite dimensional free sequence-set algebras

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

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