Pages that link to "Item:Q4808463"
From MaRDI portal
The following pages link to Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463):
Displaying 8 items.
- Proof theory for admissible rules (Q1023055) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Implication via spacetime (Q2658280) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Preservation and Interpolation Through Binary Relations Between Theories (Q3797168) (← links)
- THE -PROVABILITY LOGIC OF (Q5195060) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)