Axiom systems for first order logic with finitely many variables

DOI10.2307/2271983MaRDI QIDQ4774013zbMATH OpenOpenAlexWikidataFDO

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)