CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis approach to studying the minimal intuitionistic modal logic is based on a generalization of Gentzen's original sequent calculus introduced and developed by the author in a previous paper [see Ann. Pure Appl. Logic 58 (1992), no. 3, 229--246; MR1191942 (93k:03056)]. The complete proof-theoretic treatment of the calculus is presented, including the cut elimination theorem with some of its consequences. The author considers the corresponding 2-natural deduction system, followed by the normalization theorem, and analyzes its relationship with the 2-sequent calculus. Such an approach to the proof-theoretic analysis of logical systems seems to be very natural, fruitful and applicable to a wide class of logics.
| Titolo: | 2-sequent calculus: intuitionism and natural deduction | |
| Autori: | ||
| Data di pubblicazione: | 1993 | |
| Rivista: | ||
| Abstract: | This approach to studying the minimal intuitionistic modal logic is based on a generalization of Gentzen's original sequent calculus introduced and developed by the author in a previous paper [see Ann. Pure Appl. Logic 58 (1992), no. 3, 229--246; MR1191942 (93k:03056)]. The complete proof-theoretic treatment of the calculus is presented, including the cut elimination theorem with some of its consequences. The author considers the corresponding 2-natural deduction system, followed by the normalization theorem, and analyzes its relationship with the 2-sequent calculus. Such an approach to the proof-theoretic analysis of logical systems seems to be very natural, fruitful and applicable to a wide class of logics. | |
| Handle: | http://hdl.handle.net/11562/430358 | |
| Appare nelle tipologie: | 01.01 Articolo in Rivista |
File in questo prodotto:
Copyright © 2021