Equational logic and theories in sentential languages

DOI10.4064/CM-29-1-19-23zbMATH Open0296.02027OpenAlexW762084561MaRDI QIDQ4049059FDOQ4049059

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)