The finitely axiomatizable complete theories of non-associative arrow frames

DOI10.1016/J.AIM.2019.01.014zbMATH Open1457.03043OpenAlexW2914527465WikidataQ128424799 ScholiaQ128424799MaRDI QIDQ1731561FDOQ1731561

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

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

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)

Cites Work

• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Normal forms in modal logic
• Title not available (Why is that?)
• Free algebras in discriminator varieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relation algebras by games
• Title not available (Why is that?)
• Language in action. Categories, lambdas and dynamic logic
• Title not available (Why is that?)
• Complete representations in algebraic logic
• On complete representations of algebras of logic
• Title not available (Why is that?)
• Step by step – Building representations in algebraic logic
• Multi-dimensional modal logic
• Some Varieties Containing Relation Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of Relation Algebras with Weakened Associativity
• On atomicity of free algebras in certain cylindric-like varieties
• General normal forms for any additive 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)