A simplified formalization of predicate logic with identity
From MaRDI portal
Cites work
- Closure and Quine's *101
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3124827 (Why is no real title available?)
- scientific article; zbMATH DE number 3127530 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- scientific article; zbMATH DE number 3049488 (Why is no real title available?)
- On Tarski's formalization of predicate logic with identity
- Remarks on descriptions and natural deduction
- Substitutionless predicate logic with identity
- The completeness of the first-order functional calculus
Cited in
(15)- Boolean combinations of monadic formulas
- The Kreisel length-of-proof problem
- A unification-theoretic method for investigating the \(k\)-provability problem
- Szpilrajn's theorem on fuzzy orderings
- Logics that are generated by idempotents
- A finitely axiomatized formalization of predicate calculus with equality
- scientific article; zbMATH DE number 3910370 (Why is no real title available?)
- scientific article; zbMATH DE number 3557733 (Why is no real title available?)
- scientific article; zbMATH DE number 2015281 (Why is no real title available?)
- Two views of the logic of plurals and a reduction of one to the other
- Tarskian Classical Relevant Logic
- Substitutionless predicate logic with identity
- On Tarski's formalization of predicate logic with identity
- Socratic proofs and paraconsistency: A case study
- The calculus of relations as a foundation for mathematics
This page was built for publication: A simplified 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 Q5552146)
