Axiom systems for first order logic with finitely many variables

DOI10.2307/2271983zbMath0286.02017OpenAlexW2124483997WikidataQ114589105 ScholiaQ114589105MaRDI QIDQ4774013

James S. Johnson

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271983

Mathematics Subject Classification ID

Classical first-order logic (03B10) General logic (03B99) Other classical first-order model theory (03C68)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ On varieties of cylindric algebras with applications to logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ On conservative extensions in logics with infinitary predicates

Cites Work

• Algebras Whose Congruence Lattices are Distributive.
• On Equational Classes of Algebraic Versions of Logic I.