In this paper a sequent calculus is proposed for the modal logic GLlin and the cut-elimination theorem as well as some of its main consequences are proven.

A syntactic proof of cut-elimination for GL_lin

VALENTINI, SILVIO
1986

Abstract

In this paper a sequent calculus is proposed for the modal logic GLlin and the cut-elimination theorem as well as some of its main consequences are proven.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/136990
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 2
  • OpenAlex ND
social impact