Pages that link to "Item:Q639671"
From MaRDI portal
The following pages link to A focused approach to combining logics (Q639671):
Displaying 8 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)
- An ecumenical notion of entailment (Q6067097) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
