Axiom systems for first order logic with finitely many variables

DOI10.2307/2271983zbMATH Open0286.02017OpenAlexW2124483997WikidataQ114589105 ScholiaQ114589105MaRDI QIDQ4774013FDOQ4774013

Authors: 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)

Cites Work

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

Cited In (4)

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

This page was built for publication: Axiom systems for first order logic with finitely many variables

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