Pages that link to "Item:Q3249761"
From MaRDI portal
The following pages link to Remarks on descriptions and natural deduction (Q3249761):
Displaying 6 items.
- Existential instantiation and normalization in sequent natural deduction (Q1198828) (← links)
- Pragmatics and intensional logic (Q2549690) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- A simplified formalization of predicate logic with identity (Q5552146) (← links)
- The logicality of equality (Q6612870) (← links)