Pages that link to "Item:Q813087"
From MaRDI portal
The following pages link to Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087):
Displaying 25 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Revisiting da Costa logic (Q301378) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Negation in the context of gaggle theory (Q813083) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Abductive inference within a pragmatic framework (Q2055913) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- CUT FOR CORE LOGIC (Q2919946) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- The Logical Burdens of Proof. Assertion and Hypothesis (Q4565828) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Connexive negation (Q6127198) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
