Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele |
|
1989
|
A constructivism based on classical truth. Zbl 0667.03044
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Usberti, Gabriele |
|
1989
|
An improved refutation system for intuitionistic predicate logic. Zbl 0814.03005
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1994
|
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1997
|
Abstract parametric classes and abstract data types defined by classical and constructive logical methods. Zbl 0822.68064
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1994
|
Steadfast logic programs. Zbl 0937.68020
Lau, Kung-Kiu; Ornaghi, Mario; Tärnlund, Sten-Åke |
|
1999
|
The relationship between logic programs and specifications - the subset example revisited. Zbl 0884.68031
Lau, Kung-Kiu; Ornaghi, Mario |
|
1997
|
Generalized tableau systems for intermediate propositional logics. Zbl 1415.03014
Avellone, Alessandro; Moscato, Ugo; Miglioli, Pierangelo; Ornaghi, Mario |
|
1997
|
Extracting exact time bounds from logical proofs. Zbl 1073.94528
Ferrari, Mauro; Fiorentini, Camillo; Ornaghi, Mario |
|
2002
|
Top-down approach to the synthesis of programs. Zbl 0296.68017
Degli Antoni, G.; Miglioli, P. A.; Ornaghi, M. |
|
1974
|
Specifying compositional units for correct program development in computational logic. Zbl 1080.68563
Lau, Kung-Kiu; Ornaghi, Mario |
|
2004
|
An abstract formalization of correct schemas for program synthesis. Zbl 0959.68013
Flener, Pierre; Lau, Kung-Kiu; Ornaghi, Mario; Richardson, Julian |
|
2000
|
Trees in Kripke models and in an intuitionistic refutation system. Zbl 0472.03048
Miglioli, P.; Moscato, U.; Ornaghi, M. |
|
1981
|
Program construction by refinements preserving correctness. Zbl 0309.68024
Lanzarone, G. A.; Ornaghi, M. |
|
1975
|
PAP: A logic programming system based on a constructive logic. Zbl 0645.68098
Miglioli, P.; Moscato, U.; Ornaghi, M. |
|
1988
|
First order logic as a tool to solve and classify problems. Zbl 0329.68079
Marini, D.; Miglioli, P. A.; Ornaghi, M. |
|
1975
|
Constructive theories with abstract data types for program synthesis. Zbl 0699.03013
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1987
|
Snapshot generation in a constructive object-oriented modeling language. Zbl 1179.68029
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario |
|
2008
|
Snapshot generation in a constructive object-oriented modeling language. Zbl 1179.68029
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario |
|
2008
|
Specifying compositional units for correct program development in computational logic. Zbl 1080.68563
Lau, Kung-Kiu; Ornaghi, Mario |
|
2004
|
Extracting exact time bounds from logical proofs. Zbl 1073.94528
Ferrari, Mauro; Fiorentini, Camillo; Ornaghi, Mario |
|
2002
|
An abstract formalization of correct schemas for program synthesis. Zbl 0959.68013
Flener, Pierre; Lau, Kung-Kiu; Ornaghi, Mario; Richardson, Julian |
|
2000
|
Steadfast logic programs. Zbl 0937.68020
Lau, Kung-Kiu; Ornaghi, Mario; Tärnlund, Sten-Åke |
|
1999
|
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1997
|
The relationship between logic programs and specifications - the subset example revisited. Zbl 0884.68031
Lau, Kung-Kiu; Ornaghi, Mario |
|
1997
|
Generalized tableau systems for intermediate propositional logics. Zbl 1415.03014
Avellone, Alessandro; Moscato, Ugo; Miglioli, Pierangelo; Ornaghi, Mario |
|
1997
|
An improved refutation system for intuitionistic predicate logic. Zbl 0814.03005
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1994
|
Abstract parametric classes and abstract data types defined by classical and constructive logical methods. Zbl 0822.68064
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1994
|
Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele |
|
1989
|
A constructivism based on classical truth. Zbl 0667.03044
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Usberti, Gabriele |
|
1989
|
PAP: A logic programming system based on a constructive logic. Zbl 0645.68098
Miglioli, P.; Moscato, U.; Ornaghi, M. |
|
1988
|
Constructive theories with abstract data types for program synthesis. Zbl 0699.03013
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario |
|
1987
|
Trees in Kripke models and in an intuitionistic refutation system. Zbl 0472.03048
Miglioli, P.; Moscato, U.; Ornaghi, M. |
|
1981
|
Program construction by refinements preserving correctness. Zbl 0309.68024
Lanzarone, G. A.; Ornaghi, M. |
|
1975
|
First order logic as a tool to solve and classify problems. Zbl 0329.68079
Marini, D.; Miglioli, P. A.; Ornaghi, M. |
|
1975
|
Top-down approach to the synthesis of programs. Zbl 0296.68017
Degli Antoni, G.; Miglioli, P. A.; Ornaghi, M. |
|
1974
|