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 (25)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Dual intuitionistic logic and a variety of negations: the logic of scientific research