Dual intuitionistic logic and a variety of negations: the logic of scientific research

DOI10.1007/s11225-005-8474-7zbMath1085.03022WikidataQ124829676 ScholiaQ124829676MaRDI QIDQ813087

Yaroslav Shramko

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-8474-7

zbMATH Keywords

verification; falsification; scientific discovery; dual intuitionistic logic; kite of negations

Mathematics Subject Classification ID

03B60: Other nonclassical logic

Related Items

The Logical Burdens of Proof. Assertion and Hypothesis, On Displaying Negative Modalities, A basic quasi-Boolean logic of intuitionistic character, AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, The Evil Twin: The Basics of Complement-Toposes, A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC, Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic, Connexive negation, Falsification-aware calculi and semantics for normal modal logics including S4 and S5, Structuring co-constructive logic for proofs and refutations, Revisiting da Costa logic, Weakening and extending \(\mathbb{Z}\), Understanding negation implicationally in the relevant logic R, Natural deduction for dual-intuitionistic logic, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Negation in the context of gaggle theory, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Hyper-contradictions, generalized truth values and logics of truth and falsehood, Is the principle of contradiction a consequence of \(x^2=x\)?, A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\), Abductive inference within a pragmatic framework, Falsification-aware semantics and sequent calculi for classical logic, CUT FOR CORE LOGIC, Pragmatic and dialogic interpretations of bi-intuitionism. Part I, On Split Negation, Strong Negation, Information, Falsification, and Verification

Uses Software

• KRIPKE

Cites Work

• Intuitionistic truth
• On logics with coimplication
• The logic of information structures
• Dual-intuitionistic logic
• Partiality and its dual
• A formalization of the propositional calculus of H-B logic
• The Logic of Contradiction
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• A note on dual-intuitionistic logic
• The Trilattice of Constructive Truth Values
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item