Taming Bounded Depth with Nested Sequents - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Taming Bounded Depth with Nested Sequents

Résumé

Bounded depth refers to a property of Kripke frames that serve as semantics for intuitionistic logic. We introduce nested sequent calculi for the intermediate logics of bounded depth. Our calculi are obtained in a modular way by adding suitable structural rules to a variant of Fitting's calculus for intuitionistic propositional logic, for which we present the first syntactic cut elimination proof. This proof modularly extends to the new nested sequent calculi introduced in this paper.
Fichier principal
Vignette du fichier
main.pdf (536.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03909534 , version 1 (21-12-2022)

Identifiants

  • HAL Id : hal-03909534 , version 1

Citer

Agata Ciabattoni, Lutz Straßburger, Matteo Tesi. Taming Bounded Depth with Nested Sequents. AIML 2022 - Advances in Modal Logic, Aug 2022, Rennes, France. ⟨hal-03909534⟩
77 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More