The following pages link to (Q4495850):
Displaying 14 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Indexed systems of sequents and cut-elimination (Q1372944) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- The modal logic of reverse mathematics (Q2339962) (← links)
- The Gödel-Tarski Translations of Intuitionistic Propositional Formulas (Q2900543) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
