The following pages link to The Logic of Contradiction (Q3919679):
Displaying 22 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Real analysis in paraconsistent logic (Q692184) (← 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)
- Truth and meaning (Q908898) (← links)
- Dual-intuitionistic logic (Q1355125) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- A Yabloesque paradox in epistemic game theory (Q1708970) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- On the unity of duality (Q2482843) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗ (Q5241535) (← 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)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
