| Revista: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560780 |
| ISSN: | 1405-5546 |
| Autores: | Miranda Perea, Favio E1 Estrada Zavaleta, Ximena2 González Huesca, Lourdes del Carmen1 |
| Instituciones: | 1Universidad Nacional Autónoma de México, Facultad de Ciencias, Ciudad de México. México 2Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Ciudad de México. México |
| Año: | 2023 |
| Periodo: | Ene-Mar |
| Volumen: | 27 |
| Número: | 1 |
| Paginación: | 315-326 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Resumen en inglés | The question of defining a Jaśkowski-Fitch natural deduction system for modal logic has been settled since the very introduction of such formalisms in the middle of the last century. In contrast, a sequent-style formulation of this approach has only been discussed since the turn of this century but exclusively from the point of view of type theories. In this paper we propose a substructural sequent-style deductive system, based on previous ideas by Borghuis and Clouston, which captures Fitch-style for modal logic in a faithful way, meaning that the features of the original diagrammatic proofs are enforced by the sequent rules. This answers the question of what is a sequent-style version of Fitch-style natural deduction in the case of the necessity fragment of minimal modal logic S 4. |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica |
| Keyword: | Logic |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
