The following pages link to (Q2939750):
Displaying 8 items.
- Logical consequence and the paradoxes (Q484113) (← links)
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- Designing paradoxes: a revision-theoretic approach (Q2155938) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
- Comments on the contributions (Q6612881) (← links)