On Tarski's formalization of predicate logic with identity
From MaRDI portal
Publication:5552147
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
Related Items (13)
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
This page was built for publication: On Tarski's formalization of predicate logic with identity