Pages that link to "Item:Q639671"
From MaRDI portal
The following pages link to A focused approach to combining logics (Q639671):
Displayed 5 items.
- A semantic framework for proof evidence (Q1701039) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Structural Focalization (Q2946730) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)