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

DOI10.1007/s11225-005-8474-7zbMath1085.03022OpenAlexW2122478249WikidataQ124829676 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

verificationfalsificationscientific discoverydual intuitionistic logickite of negations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

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

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