Pages that link to "Item:Q3378194"
From MaRDI portal
The following pages link to Properties of Intuitionistic Provability and Preservativity Logics (Q3378194):
Displaying 7 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Implication via spacetime (Q2658280) (← links)
- (Q3743301) (← links)
- Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)