On Tarski's formalization of predicate logic with identity

DOI10.1007/BF01969434MaRDI QIDQ5552147zbMATH OpenFDO

Authors Donald Kalish, Richard Montague

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

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• 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

Cited in

(13)

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

This page was built for publication: On Tarski's formalization of predicate logic with identity

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