Natural deduction for dual-intuitionistic logic

DOI10.1007/S11225-012-9417-8zbMATH Open1266.03019OpenAlexW1982413486MaRDI QIDQ694491FDOQ694491

Luca Tranchini

Publication date: 12 December 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9417-8

Recommendations

• Natural deduction for bi-intuitionistic logic
• An alternative natural deduction for the intuitionistic propositional logic
• Natural deduction for Post's logics and their duals
• scientific article; zbMATH DE number 1612555
• A note on dual-intuitionistic logic

zbMATH Keywords

natural deductiondual-intuitionistic logicmultiple conclusion rules

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Dual-intuitionistic logic
• The Logic of Contradiction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Subtractive logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• A formalization of the propositional calculus of H-B logic
• Constructive negation, implication, and co-implication
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Title not available (Why is that?)
• On logics with coimplication
• Validity concepts in proof-theoretic semantics
• A note on dual-intuitionistic logic
• Title not available (Why is that?)

Cited In (24)

• Natural deduction for non-classical logics
• Natural deduction for intuitionistic linear logic
• Natural deduction for the finite least fixed point logic with an infinitary rule
• Natural duality as a tool to study algebras arising from logics
• Prawitz, Proofs, and Meaning
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• A more general general proof theory
• Emptiness and Discharge in Sequent Calculus and Natural Deduction
• Dual-intuitionistic logic
• ADC method of proof search for intuitionistic propositional natural deduction
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equality and Apartness in Bi-intuitinistic Logic
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I
• Deductive systems with unified multiple-conclusion rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reprint of: ``A more general general proof theory
• Single-assumption systems in proof-theoretic semantics
• Title not available (Why is that?)
• A note on dual-intuitionistic logic
• Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
• Natural deduction for bi-intuitionistic logic

This page was built for publication: Natural deduction for dual-intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694491)