The following pages link to (Q4370352):
Displaying 6 items.
- Towards a canonical classical natural deduction system (Q1946670) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
- A semantics of realisability for the classical propositional natural deduction (Q2851691) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- (Q3654060) (← links)