Equational logic and theories in sentential languages

DOI10.4064/cm-29-1-19-23zbMath0296.02027OpenAlexW762084561MaRDI QIDQ4049059

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

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

Related Items (7)

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

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