Fundamenta Informaticae > 2015 > Vol. 140, nr 3/4 > 247--262
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2015-1253 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Andreoli, J.-M.: Logic Programming with Focusing Proofs in Linear Logic, J. Log. Comput., 2(3), 1992, 297–347.
-
[2] Avellone, A., Ferrari, M., Miglioli, P.: Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics, Logic J. of the IGPL, 7(4), 1999, 447–480.
-
[3] Avellone, A., Fiorentini, C., Momigliano, A.: Focusing on Contraction, Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. (D. Cantone, M. N. Asmundo, Eds.), 1068, CEUR-WS.org, 2013.