On Tarski's formalization of predicate logic with identity

DOI10.1007/BF01969434zbMath0166.00105MaRDI QIDQ5552147

Richard Montague, Donald Kalish

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/137773

zbMATH Keywords

general logic

Related Items

A simplified formalization of predicate logic with identity, Open formulas and the empty domain, Provability with Finitely Many Variables, Seventy-five problems for testing automatic theorem provers, Simplifying proofs in Fitch-style natural deduction systems, A finitely axiomatized formalization of predicate calculus with equality, Nonstandard theories of quantification and identity, A calculus for first order discourse representation structures, Two views of the logic of plurals and a reduction of one to the other, Fregean Description Theory in Proof-Theoretical Setting, \(\supset\)E is admissible in ``true relevant arithmetic, Natural deduction and arbitrary objects, Substitutionless predicate logic with identity

Cites Work

• Unnamed Item
• A simplified formalization of predicate logic with identity
• On the rules of proof in the pure functional calculus of the first order
• Quantification and the empty domain