2-Sequent Calculus: Intuitionism and Natural Deduction

DOI10.1093/LOGCOM/3.5.533zbMath0793.03013OpenAlexW2023557900MaRDI QIDQ4286223

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

possible worldssemanticssequentsindexed tableauxS4-like intuitionistic modal logic

Mathematics Subject Classification ID

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

Related Items (8)

Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi ⋮ Full classical S5 in natural deduction with weak normalization ⋮ 2-sequent calculus: A proof theory of modalities ⋮ Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ A new S4 classical modal logic in natural deduction

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