Cut-free Gentzen calculus for multimodal CK
type: Item
instance of: scholarly article
title: Cut-free Gentzen calculus for multimodal CK
zbMATH Open document ID: 1248.03036
author: Michael Mendler
author: Stephan Scheele
published in: Information and Computation
publication date: 2012-03-13T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6014268
zbMATH Keywords: constructive modal logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: cut elimination
zbMATH Keywords: Curry-Howard correspondence
describes a project that uses: MiniML
MaRDI profile type: Publication
full work available at URL: j.ic.2011.10.003
OpenAlex ID: W2020894459
cites work: Q4346206
cites work: Notions of computation and monads
cites work: Monad as modality
cites work: Q4222777
cites work: Q4461801
cites work: Q3866079
cites work: Many-dimensional modal logics: theory and applications
cites work: Q4736390
cites work: Constructive modal logics. I
cites work: Tableaux for constructive concurrent dynamic logic
cites work: A judgmental reconstruction of modal logic
cites work: An intuitiomstic completeness theorem for intuitionistic predicate logic
cites work: Propositional lax logic
cites work: Q4785506
cites work: Topological duality for intuitionistic modal algebras
cites work: Embedding Constructive K into Intuitionistic K
cites work: Q5793835
cites work: 2-Sequent Calculus: Intuitionism and Natural Deduction
cites work: Computational types from a logical perspective
cites work: Computer Science Logic
cites work: Q4360856
cites work: A computational formalization for partial evaluation
cites work: Q3024905
cites work: Recursion over objects of functional type
cites work: A modal analysis of staged computation
cites work: Q5688812
cites work: Towards constructive DL for abstraction and refinement
cites work: 2-sequent calculus: A proof theory of modalities
cites work: Extending the Curry-Howard interpretation to linear, relevant and other resource logics
cites work: The Description Logic Handbook
cites work: Q4342082
cites work: Q4039813
DOI: 10.1016/J.IC.2011.10.003
description: scientific article; zbMATH DE number 6014268