Pierangelo Miglioli

According to our database, Pierangelo Miglioli authored at least 35 papers between 1973 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

On Uniformly Constructive and Semiconstructive Formal Systems.

Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi

Log. J. IGPL, 2003

2001

Extracting information from intermediate semiconstructive HA-systems - extended abstract.

Mauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli

Math. Struct. Comput. Sci., 2001

1999

On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics.

Silvio Ghilardi, Pierangelo Miglioli

Stud Logica, 1999

A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications.

Camillo Fiorentini, Pierangelo Miglioli

Log. J. IGPL, 1999

Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.

Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli

Log. J. IGPL, 1999

1998

Synthesis of Programs in Abstract Data Types.

Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Log. J. IGPL, 1997

Generalized Tableau Systems for Intemediate Propositional Logics.

Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996

On maximal intermediate predicate constructive logics.

Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli

Stud Logica, 1996

Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.

Guido Bertolotti, Pierangelo Miglioli, Daniela Silvestrini

Math. Log. Q., 1996

1995

A Method to Single out Maximal Propositional Logics with the Disjunction Property II.

Mauro Ferrari, Pierangelo Miglioli

Ann. Pure Appl. Log., 1995

A Method to Single out Maximal Propositional Logics with the Disjunction Property I.

Mauro Ferrari, Pierangelo Miglioli

Ann. Pure Appl. Log., 1995

Refutation Systems for Propositional Modal Logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

J. Symb. Comput., 1994

An Improved Refutation System for Intuitionistic Predicate Logic.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

J. Autom. Reason., 1994

1993

Counting the Maximal Intermediate Constructive Logics.

Mauro Ferrari, Pierangelo Miglioli

J. Symb. Log., 1993

1992

An infinite class of maximal intermediate propositional logics with the disjunction property.

Pierangelo Miglioli

Arch. Math. Log., 1992

A constructive logic approach to database theory.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the CNKBS'92, 1992

1991

Program Specification and Synthesis in Constructive Formal Systems.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Logic Program Synthesis and Transformation, 1991

1989

A Constructivism Based on Classical Truth.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti

Notre Dame J. Formal Log., 1989

Some Results on Intermediate Constructive Logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti

Notre Dame J. Formal Log., 1989

Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1986

PAP: A Logic Programming System Based on a Constructive Logic.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Foundations of Logic and Functional Programming, 1986

1984

Abstract Data Types and Their Extensions within a Constructive Logic.

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi

Proceedings of the Semantics of Data Types, International Symposium, 1984

1981

A logically justified model of computation II.

Pierangelo Miglioli, Mario Ornaghi

Fundam. Informaticae, 1981

A logically justified model of computation I.

Pierangelo Miglioli, Mario Ornaghi

Fundam. Informaticae, 1981

Trees in Kripke Models and in an Intuitionistic Refutation System.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the CAAP '81, 1981

Constructive Proofs as Programs Executable by PrT Nets.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Application and Theory of Petri Nets, 1981

1980

Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools.

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli

Proceedings of the International Symposium on Programming, 1980

1979

A Characterization of Abstract Data as Model-Theoretic Invariants.

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli

Proceedings of the Automata, 1979

1977

A Calculus to Build Up Correct Programs.

Pierangelo Miglioli, Mario Ornaghi

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1975

First Order Logic as a Tool to Solve and Classify Problems.

Daniele Marini, Pierangelo Miglioli, Mario Ornaghi

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974

Top-down approach to the synthesis of programs.

G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi

Proceedings of the Programming Symposium, 1974

Mathematical Foundations of Motivation Languages and Synthesis Maps.

Pierangelo Miglioli

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

Characterization of Programs and Their Synthesis from a Formalized Theory.

Daniele Marini, Pierangelo Miglioli

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973