A non-axiomatizability result in algebraic logic

DOI10.1007/BF01195858MaRDI QIDQ1180697zbMATH OpenOpenAlexFDO

Authors Siniša Crvenković, R. Madarász

Publication date 27 June 1992

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01195858

zbMATH Keywords

semigroupmonoidrelation algebranon-axiomatizability

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Non-finite-axiomatizability results in algebraic logic
• scientific article; zbMATH DE number 637397
• Algebras of Relations and Relevance Logic
• Relation algebras from cylindric algebras. II

Cites work

• Cylindric algebras. Part II
• Decidability of Relation Algebras with Weakened Associativity
• On the calculus of relations

Cited in

(3)

• An Impossibility Result in Axiomatic Location Theory
• scientific article; zbMATH DE number 59575 (Why is no real title available?)
• Inconsistency lemmas in algebraic logic

This page was built for publication: A non-axiomatizability result in algebraic logic

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