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