First order logic without equality on relativized semantics

DOI10.1016/j.apal.2018.07.002zbMath1453.03072arXiv1807.00690OpenAlexW2962891139WikidataQ129508718 ScholiaQ129508718MaRDI QIDQ1791054

Mohamed Khaled, Amitayu Banerjee

Publication date: 4 October 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.00690

zbMATH Keywords

atomsfree algebraszero-dimensional elements

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Abstract model theory (03C95)

Related Items (2)

DISTANCES BETWEEN FORMAL THEORIES ⋮ 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Cylindric algebras. Part II
• Modal languages and bounded fragments of predicate logic
• On elementary equivalence for equality-free logic
• Characterizing classes defined with equality
• Fragments of language
• On atomicity of free algebras in certain cylindric-like varieties
• Some characterization theorems for infinitary universal Horn logic without equality
• Changing a Semantics: Opportunism or Courage?
• Decidability of Relation Algebras with Weakened Associativity
• Algebraizable logics
• Finite algebras of relations are representable on finite sets
• An introduction to cylindric set algebras
• General normal forms for any additive logic
• The free non-commutative cylindric algebras are not atomic
• Free algebras in discriminator varieties

This page was built for publication: First order logic without equality on relativized semantics