A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
From MaRDI portal
Publication:5741613
DOI10.1017/S1755020316000022zbMATH Open1388.03023MaRDI QIDQ5741613FDOQ5741613
Publication date: 29 July 2016
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructivism in mathematics. An introduction. Volume I
- Dual-intuitionistic logic
- Conceptions of truth in intuitionism
- Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
- The Logic of Contradiction
- Logic for Equivocators
- Constructible falsity
- Subtractive logic
- Intuitionism. An introduction
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Positive modal logic
- Constructive negation, implication, and co-implication
- On logics with coimplication
- A remark on Gentzen's calculus of sequents
- Towards a Logic for Pragmatics. Assertions and Conjectures
- An embedding of classical logic in S4
- Natural deduction for dual-intuitionistic logic
Cited In (17)
- Abductive inference within a pragmatic framework
- K3, Ε3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
- The Logical Burdens of Proof. Assertion and Hypothesis
- Title not available (Why is that?)
- Bi-intermediate logics of trees and co-trees
- Leo Esakia on duality in modal and intuitionistic logics
- First-Degree Entailment and Structural Reasoning
- Dual-intuitionistic logic
- Bi-intuitionistic implication structures
- Duality for modal \(\mu\)-logics
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Game theoretical semantics for some non-classical logics
- Title not available (Why is that?)
- Modal multilattice logic
- Modal translations in substructural logics
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Oskar Becker and the modal translation of intuitionistic logic
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Dual-intuitionistic logic π π
- Duality for modal \(\mu\)-logics π π
- On modal renderings of intuitionistic propositional logic π π
- A note on dual-intuitionistic logic π π
- Modal Intuitionistic Logics as Dialgebraic Logics π π
This page was built for publication: A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741613)
