Fitch-Style Modal Necessity as a Substructural Sequent-Style System

Authors

  • Favio E. Miranda-Perea Universidad Nacional Autónoma de México
  • Ximena Estrada Zavaleta Universidad Nacional Autónoma de México
  • Lourdes del Carmen Gonzalez Huesca Universidad Nacional Autónoma de México

DOI:

https://doi.org/10.13053/cys-27-1-4542

Keywords:

Natural deduction, fitch-style, modal necessity, substructural logics, sequents

Abstract

The question of defining a Jaskowski-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 S4.

Author Biographies

Favio E. Miranda-Perea, Universidad Nacional Autónoma de México

Facultad de Ciencias

Ximena Estrada Zavaleta, Universidad Nacional Autónoma de México

Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas

Lourdes del Carmen Gonzalez Huesca, Universidad Nacional Autónoma de México

Facultad de Ciencias

Downloads

Published

2023-03-30

Issue

Vol. 27 No. 1 (2023): 27(1) 2023

Section

Articles of the Thematic Section (2)

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.