Pages that link to "Item:Q3577741"
From MaRDI portal
The following pages link to SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741):
Displaying 5 items.
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY (Q4899967) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
