A simplified formalization of predicate logic with identity

DOI10.1007/BF01972461zbMath0166.00104WikidataQ106090756 ScholiaQ106090756MaRDI QIDQ5552146

Alfred Tarski

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

General logic (03Bxx)

Related Items

On Tarski's formalization of predicate logic with identity, The Kreisel length-of-proof problem, A finitely axiomatized formalization of predicate calculus with equality, The calculus of relations as a foundation for mathematics, Two views of the logic of plurals and a reduction of one to the other, A unification-theoretic method for investigating the \(k\)-provability problem, Szpilrajn's theorem on fuzzy orderings, Boolean combinations of monadic formulas, Socratic proofs and paraconsistency: A case study, Tarskian Classical Relevant Logic, Substitutionless predicate logic with identity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Remarks on descriptions and natural deduction
• Substitutionless predicate logic with identity
• On Tarski's formalization of predicate logic with identity
• Closure and Quine's *101
• The completeness of the first-order functional calculus