Pages that link to "Item:Q2890694"
From MaRDI portal
The following pages link to NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694):
Displayed 5 items.
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- CUT FOR CLASSICAL CORE LOGIC (Q5259721) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)