The following pages link to Dual-intuitionistic logic (Q1355125):
Displaying 36 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Revisiting da Costa logic (Q301378) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- First-order da Costa logic (Q631523) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Restall's proof-theoretic pluralism and relevance logic (Q1706756) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Intuitionistic Dual-intuitionistic Nets (Q3094142) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- On the Logical System L<sub>1</sub> (Q3762282) (← links)
- 2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650300) (← links)
- First Degree Entailment, Symmetry and Paradox (Q4683209) (← links)
- Some dual logic without tautologies (Q5040681) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- (Q5144635) (← links)
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation (Q5176671) (← links)
- Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition) (Q5241517) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- The dual of a logical linear programme (Q5927658) (← links)
- Dual realizability in symmetric logic (Q5957923) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
