Concepedia

Pierangelo Miglioli

PM

Statistics

Publications

11

Citations

226

H-Index

10

Active since

1979

Affiliations

University of Milan(Current)

Pierangelo Miglioli is an author at University of Milan specializing in computer science, formal methods, and logic.

Publications per year

1979–1997

11

Publications

11

Some results on intermediate constructive logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi et al. · Notre Dame Journal of Formal Logic · 1989 · 38 citations · Full text

, , +10

A constructivism based on classical truth.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi et al. · Notre Dame Journal of Formal Logic · 1988 · 34 citations · Full text

, , +2

On the Power of Model Theory in Specifying Abstract Data Types and in Capturing Their Recursiveness

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli · Fundamenta Informaticae · 1983 · 26 citations

, , +11

An improved refutation system for intuitionistic predicate logic

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi · Journal of Automated Reasoning · 1994 · 22 citations

, , +8

Counting the maximal intermediate constructive logics

Mauro Ferrari, Pierangelo Miglioli · Journal of Symbolic Logic · 1993 · 21 citations

, , +10

1–5 of 11