Label-free Modular Systems for Classical and Intuitionistic Modal LogicsReportar como inadecuado




Label-free Modular Systems for Classical and Intuitionistic Modal Logics - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 IRB - Institute for Research in Biomedicine 2 Departament de Bioquímica i Biologia Molecular 3 LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau 4 PARSIFAL - Proof search and reasoning with logic specifications LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau, Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161

Abstract : In this paper we show for each of the modal axioms d, t, b, 4, and 5 an equivalent set of inference rules in a nested sequent system, such that, when added to the basic system for the modal logic K, the resulting system admits cut elimination. Then we show the same result also for intuitionistic modal logic. We achieve this by combining structural and logical rules.

Keywords : Modal logic cut elimination nested sequents Hilbert axioms





Autor: Sonia Marin - Lutz Straßburger -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados