2-Sequent Calculus: Intuitionism and Natural Deduction

DOI10.1093/LOGCOM/3.5.533MaRDI QIDQ4286223zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

semanticspossible worldssequentsindexed tableauxS4-like intuitionistic modal logic

Mathematics Subject Classification ID

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

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

Cited in

(10)

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

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)