Pages that link to "Item:Q5552147"
From MaRDI portal
The following pages link to On Tarski's formalization of predicate logic with identity (Q5552147):
Displaying 13 items.
- Two views of the logic of plurals and a reduction of one to the other (Q495834) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Natural deduction and arbitrary objects (Q1061731) (← links)
- Seventy-five problems for testing automatic theorem provers (Q1101242) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- A calculus for first order discourse representation structures (Q1923839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- Substitutionless predicate logic with identity (Q5541306) (← links)
- A simplified formalization of predicate logic with identity (Q5552146) (← links)
- Open formulas and the empty domain (Q5571681) (← links)
- Nonstandard theories of quantification and identity (Q5608742) (← links)
- Provability with Finitely Many Variables (Q5619082) (← links)