The following pages link to Subtractive logic (Q5940919):
Displaying 18 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” (Q2987767) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
