Pages that link to "Item:Q1688950"
From MaRDI portal
The following pages link to Lewis meets Brouwer: constructive strict implication (Q1688950):
Displaying 7 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Implication via spacetime (Q2658280) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)
