A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC

DOI10.1017/S1755020316000022zbMath1388.03023MaRDI QIDQ5741613

Yaroslav Shramko

Publication date: 29 July 2016

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

zbMATH Keywords

intuitionistic logicS4dual intuitionistic logicGoedel translation

Mathematics Subject Classification ID

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

Related Items (8)

The Logical Burdens of Proof. Assertion and Hypothesis ⋮ Modal multilattice logic ⋮ Game theoretical semantics for some non-classical logics ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Bi-intuitionistic implication structures ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ First-Degree Entailment and Structural Reasoning ⋮ Abductive inference within a pragmatic framework

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction for dual-intuitionistic logic
• Intuitionism. An introduction
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Constructivism in mathematics. An introduction. Volume I
• A remark on Gentzen's calculus of sequents
• On logics with coimplication
• Dual-intuitionistic logic
• Positive modal logic
• Conceptions of truth in intuitionism
• Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
• Constructive negation, implication, and co-implication
• The Logic of Contradiction
• Towards a Logic for Pragmatics. Assertions and Conjectures
• Logic for Equivocators
• An embedding of classical logic in S4
• Constructible falsity
• Subtractive logic

This page was built for publication: A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC