P
Pierangelo Miglioli
Researcher at University of Milan
Publications - 41
Citations - 467
Pierangelo Miglioli is an academic researcher from University of Milan. The author has contributed to research in topics: Intuitionistic logic & Constructive. The author has an hindex of 13, co-authored 41 publications receiving 459 citations.
Papers
More filters
Journal ArticleDOI
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Journal ArticleDOI
A constructivism based on classical truth
TL;DR: On etudie les relations entre verite constructive and verite classique d'un point de vue unifie dans le cadre de laissez-vous de l'étude de la langue de l’États-Unis.
Journal ArticleDOI
Some results on intermediate constructive logics.
TL;DR: A general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Med- vedev's logic of finite problems ) can be obtained.
Journal ArticleDOI
On the power of model theory in specifying abstract data types and in capturing their recursiveness
Journal ArticleDOI
Abstract parametric classes and abstract data types defined by classical and constructive logical methods
TL;DR: A methodology to treat abstract data types (ADT), abstract parametric classes (APC) and subclasses, together with appropriate inheritance properties, by means of first order theories, based on the notion of isoinitial model is introduced.