Pages that link to "Item:Q3648737"
From MaRDI portal
The following pages link to Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents (Q3648737):
Displayed 10 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Deep Inference in Bi-intuitionistic Logic (Q3638293) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)