2-Sequent Calculus: Intuitionism and Natural Deduction

DOI10.1093/LOGCOM/3.5.533zbMATH Open0793.03013OpenAlexW2023557900MaRDI QIDQ4286223FDOQ4286223

Andrea Masini

Publication date: 27 March 1994

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.5.533

zbMATH Keywords

semanticspossible worldssequentsindexed tableauxS4-like intuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (10)

• Title not available (Why is that?)
• A natural deduction calculus for \textbf{S4.2}
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Natural deduction calculi for classical and intuitionistic S5
• Cut-free Gentzen calculus for multimodal CK
• Cut Elimination for Extended Sequent Calculi
• A new S4 classical modal logic in natural deduction
• 2-sequent calculus: A proof theory of modalities
• Full classical S5 in natural deduction with weak normalization
• Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets

   Recommendations

• Natural deduction and sequent calculus for intuitionistic relevant logic 👍 👎
• 2-sequent calculus: A proof theory of modalities 👍 👎
• Title not available (Why is that?) 👍 👎
• Sequent calculus in natural deduction style 👍 👎
• Natural deduction for dual-intuitionistic logic 👍 👎
• A sequent calculus isomorphic to Gentzen's natural deduction 👍 👎
• Translations from natural deduction to sequent calculus 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: 2-Sequent Calculus: Intuitionism and Natural Deduction

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