Pages that link to "Item:Q3406690"
From MaRDI portal
The following pages link to Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic (Q3406690):
Displaying 11 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Deep Inference in Bi-intuitionistic Logic (Q3638293) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
