A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC

DOI10.1017/S1755020316000022MaRDI QIDQ5741613zbMATH OpenFDO

Authors Yaroslav Shramko

Publication date 29 July 2016

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020316000022

zbMATH Keywords

dual intuitionistic logicGoedel translationintuitionistic logicS4

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3981153
• Modal intuitionistic logics as dialgebraic logics
• Dual-context calculi for modal logic
• scientific article; zbMATH DE number 7297837
• Duality for modal \(\mu\)-logics
• Dual-intuitionistic logic
• scientific article; zbMATH DE number 1612555
• A note on dual-intuitionistic logic
• On modal renderings of intuitionistic propositional logic

Cites work

• A remark on Gentzen's calculus of sequents
• An embedding of classical logic in S4
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• Conceptions of truth in intuitionism
• Constructible falsity
• Constructive negation, implication, and co-implication
• Constructivism in mathematics. An introduction. Volume I
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• Intuitionism. An introduction
• Logic for Equivocators
• Natural deduction for dual-intuitionistic logic
• On logics with coimplication
• Positive modal logic
• Subtractive logic
• The Logic of Contradiction
• Towards a Logic for Pragmatics. Assertions and Conjectures

Cited in

(22)

• Duality for modal \(\mu\)-logics
• Modal translations in substructural logics
• Dual-intuitionistic logic
• Modal multilattice logic
• Abductive inference within a pragmatic framework
• Oskar Becker and the modal translation of intuitionistic logic
• Leo Esakia on duality in modal and intuitionistic logics
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• First-degree entailment and structural reasoning
• scientific article; zbMATH DE number 3981153 (Why is no real title available?)
• scientific article; zbMATH DE number 1735873 (Why is no real title available?)
• The logical burdens of proof. Assertion and hypothesis
• Game theoretical semantics for some non-classical logics
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)
• A correct polynomial translation of S4 into intuitionistic logic
• Bi-intuitionistic implication structures
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Bi-intermediate logics of trees and co-trees
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Symmetric and conflated intuitionistic logics
• Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
• Intuitionistic epistemic logic with two modal operators

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)