On Tarski's formalization of predicate logic with identity

DOI10.1007/BF01969434zbMATH Open0166.00105MaRDI QIDQ5552147FDOQ5552147

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

• Title not available (Why is that?)
• A simplified formalization of predicate logic with identity
• Quantification and the empty domain
• On the rules of proof in the pure functional calculus of the first order

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
• Provability with Finitely Many Variables
• Natural deduction and arbitrary objects
• 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
• Open formulas and the empty domain
• Seventy-five problems for testing automatic theorem provers
• 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)