2-Sequent Calculus: Intuitionism and Natural Deduction

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

Authors: 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

Recommendations

• Natural deduction and sequent calculus for intuitionistic relevant logic
• 2-sequent calculus: A proof theory of modalities
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• 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
• scientific article; zbMATH DE number 1330453
• Two normalizations for naturald deductions in sequent style
• scientific article; zbMATH DE number 1868900

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

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)