IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishSince 1993, when Hudelmaier developed an O(n log n)-space decision procedure for propositional Intuitionistic Logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. In this paper a tableau calculus using the signs T, F and Fc with a new set of rules to treat signed formulas of the kind T((A → B) → C) is provided. The main feature of the calculus is the reduction of both the non-determinism in proof-search and the width of proofs with respect to Hudelmaier's one. These improvements have a significant influence on the performances of the implementation..
Ferrari, M., Fiorentini, C., & Fiorino, G. (2009). A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 19(2), 149-166 [10.3166/jancl.19.149-166].
| Citazione: | Ferrari, M., Fiorentini, C., & Fiorino, G. (2009). A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 19(2), 149-166 [10.3166/jancl.19.149-166]. | |
| Tipo: | Articolo in rivista - Articolo scientifico | |
| Carattere della pubblicazione: | Scientifica | |
| Presenza di un coautore afferente ad Istituzioni straniere: | No | |
| Titolo: | A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications | |
| Autori: | Ferrari, M; Fiorentini, C; Fiorino, G | |
| Autori: | ||
| Data di pubblicazione: | 2009 | |
| Lingua: | English | |
| Rivista: | JOURNAL OF APPLIED NON-CLASSICAL LOGICS | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.3166/jancl.19.149-166 | |
| Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
http://hdl.handle.net/10281/7922
Copyright © 2022