Equational logic and theories in sentential languages
From MaRDI portal
Publication:4049059
DOI10.4064/cm-29-1-19-23zbMath0296.02027MaRDI QIDQ4049059
Publication date: 1974
Published in: Colloquium Mathematicum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/cm-29-1-19-23
03C99: Model theory
08A05: Structure theory of algebraic structures
03C68: Other classical first-order model theory
08Axx: Algebraic structures
Related Items
Fregean logics, The commutator in equivalential algebras and Fregean varieties, Basic properties of the equivalence, B-varieties with normal free algebras, The theory of Boolean algebras with an additional binary operation, Q-ultrafilters and normal ultrafilters in B-algebras, Logics of order and related notions