A non-axiomatizability result in algebraic logic

DOI10.1007/BF01195858zbMATH Open0745.03052OpenAlexW2009931036MaRDI QIDQ1180697FDOQ1180697

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

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

zbMATH Keywords

semigroupmonoidrelation algebranon-axiomatizability

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

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

Cited In (3)

• Inconsistency lemmas in algebraic logic
• An Impossibility Result in Axiomatic Location Theory
• Title not available (Why is that?)

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)