Pages that link to "Item:Q5552146"
From MaRDI portal
The following pages link to A simplified formalization of predicate logic with identity (Q5552146):
Displaying 11 items.
- Two views of the logic of plurals and a reduction of one to the other (Q495834) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Boolean combinations of monadic formulas (Q1055408) (← links)
- The Kreisel length-of-proof problem (Q1353977) (← links)
- A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
- Szpilrajn's theorem on fuzzy orderings (Q1839298) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Substitutionless predicate logic with identity (Q5541306) (← links)
- On Tarski's formalization of predicate logic with identity (Q5552147) (← links)