Dual intuitionistic logic and a variety of negations: the logic of scientific research
From MaRDI portal
Publication:813087
DOI10.1007/s11225-005-8474-7zbMath1085.03022WikidataQ124829676 ScholiaQ124829676MaRDI QIDQ813087
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
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
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