Pages that link to "Item:Q694491"

The following pages link to Natural deduction for dual-intuitionistic logic (Q694491):

Displaying 24 items.

• Dual-intuitionistic logic (Q1355125) (← links)
• Natural deduction for non-classical logics (Q1577342) (← links)
• Natural deduction for Post's logics and their duals (Q1653550) (← links)
• A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction (Q1679799) (← links)
• A more general general proof theory (Q1688710) (← links)
• Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
• Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
• Natural deduction for intuitionistic linear logic (Q1891252) (← links)
• Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
• Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
• Natural duality as a tool to study algebras arising from logics (Q2784599) (← links)
• ADC method of proof search for intuitionistic propositional natural deduction (Q2804335) (← links)
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
• Intuitionistic Dual-intuitionistic Nets (Q3094142) (← links)
• Natural deduction for the finite least fixed point logic with an infinitary rule (Q3644843) (← links)
• (Q3680812) (← links)
• 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
• A binary-conclusion natural deduction system (Q4700538) (← links)
• (Q5039098) (← links)
• Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
• Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
• Prawitz, Proofs, and Meaning (Q5213604) (← links)
• Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)