Substitutionless predicate logic with identity

DOI10.1007/BF01969435zbMath0158.24603MaRDI QIDQ5541306

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Cylindric and Polyadic Algebras
• A simplified formalization of predicate logic with identity
• On Tarski's formalization of predicate logic with identity
• The completeness of the first-order functional calculus
• Fragments of the propositional calculus
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe