A constructivism based on classical truth P Miglioli, U Moscato, M Ornaghi, G Usberti Notre Dame Journal of Formal Logic 30 (1), 67-90, 1989 | 52 | 1989 |
Some results on intermediate constructive logics. P Miglioli, U Moscato, M Ornaghi, S Quazza, G Usberti Notre Dame Journal of Formal Logic 30 (4), 543-562, 1989 | 48 | 1989 |
An improved refutation system for intuitionistic predicate logic P Miglioli, U Moscato, M Ornaghi Journal of Automated Reasoning 13, 361-373, 1994 | 35 | 1994 |
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic P Miglioli, U Moscato, M Ornaghi Logic Journal of the IGPL 5 (1), 145-167, 1997 | 34 | 1997 |
Abstract parametric classes and abstract data types defined by classical and constructive logical methods P Miglioli, U Moscato, M Ornaghi Journal of Symbolic Computation 18 (1), 41-81, 1994 | 26 | 1994 |
How to avoid duplications in refutation systems for intuitionistic logic and Kuroda logic P Miglioli, U Moscato, M Ornaghi Theorem Proving with Analytic Tableaux and Related Methods: 3rd …, 1994 | 23 | 1994 |
Optimization techniques for propositional intuitionistic logic and their implementation A Avellone, G Fiorino, U Moscato Theoretical Computer Science 409 (1), 41-58, 2008 | 18 | 2008 |
Generalized tableau systems for intermediate propositional logics A Avellone, U Moscato, P Miglioli, M Ornaghi Automated Reasoning with Analytic Tableaux and Related Methods …, 1997 | 17 | 1997 |
Refutation systems for prepositional modal logics P Miglioli, U Moscato, M Ornaghi Theorem Proving with Analytic Tableaux and Related Methods: 4th …, 1995 | 16 | 1995 |
Constructive theories with abstract data types for program synthesis P Miglioli, U Moscato, M Ornaghi Mathematical Logic and its Applications, 293-302, 1987 | 15 | 1987 |
A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato Collegium Logicum, Kurt Goedel Society, 17-33, 2004 | 10 | 2004 |
Semi-constructive formal systems and axiomatization of abstract data types P Miglioli, U Moscato, M Ornaghi TAPSOFT'89: Proceedings of the International Joint Conference on Theory and …, 1989 | 10 | 1989 |
Theorem Proving with Analytic Tableaux and Related Methods, number 1071 in Lecture Notes in Artificial Intelligence P Miglioli, U Moscato, D Mundici, M Ornaghi Springer, May 112, 113, 1996 | 9 | 1996 |
Program specification and synthesis in constructive formal systems P Miglioli, U Moscato, M Ornaghi Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91 …, 1992 | 8 | 1992 |
PAP: a logic programming system based on a constructive logic P Miglioli, U Moscato, M Ornaghi Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 2005 | 7 | 2005 |
A tableau calculus for Dummett predicate logic A Avellone, M Ferrari, P Miglioli, U Moscato Advances in Contemporary Logic and Computer Science, Contemporary …, 1999 | 6 | 1999 |
Pap: Proofs as programs P Bresciani, P Miglioli, U Moscato, M Ornaghi Journal of Symbolic Logic 51 (3), 852-853, 1986 | 5 | 1986 |
Constructive validity and classical truth to assign meaning to programs P Miglioli, U Moscato, M Ornaghi, G Usberti Proceedings of the Second World Conference on Mathematics at the Service of …, 1982 | 5 | 1982 |
Riflessioni sulla prova informatica A Grillo Cassazione penale 50 (1), 372-385, 2010 | 4 | 2010 |
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX'96, Terrasini (Palermo), Italy, May 15-17, 1996. Proceedings P Miglioli Springer Science & Business Media, 1996 | 4 | 1996 |