Equational logic and theories in sentential languages

DOI10.4064/CM-29-1-19-23MaRDI QIDQ4049059zbMATH OpenOpenAlexFDO

Authors Roman Suszko

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

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Other classical first-order model theory (03C68) Model theory (03C99) Algebraic structures (08Axx)

Cited in

(7)

• Logics of order and related notions
• Fregean logics
• The commutator in equivalential algebras and Fregean varieties
• B-varieties with normal free algebras
• Basic properties of the equivalence
• The theory of Boolean algebras with an additional binary operation
• Q-ultrafilters and normal ultrafilters in B-algebras

This page was built for publication: Equational logic and theories in sentential languages

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