Substitutionless predicate logic with identity

DOI10.1007/BF01969435MaRDI QIDQ5541306zbMATH OpenFDO

Authors J. Donald Monk

Publication date 1965

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137774

zbMATH Keywords

mathematical logic

Cites work

• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• A simplified formalization of predicate logic with identity
• Cylindric and Polyadic Algebras
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
• Fragments of the propositional calculus
• On Tarski's formalization of predicate logic with identity
• The completeness of the first-order functional calculus

Cited in

(3)

• Boolean combinations of monadic formulas
• A simplified formalization of predicate logic with identity
• A finitely axiomatized formalization of predicate calculus with equality

This page was built for publication: Substitutionless predicate logic with identity

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