Pierangelo Miglioli

Available identifiers

zbMath Open miglioli.pierangeloWikidataQ102343552 ScholiaQ102343552MaRDI QIDQ583192

List of research outcomes

Publication	Date of Publication	Type
Generalized tableau systems for intermediate propositional logics	2019-01-15	Paper
On Uniformly Constructive and Semiconstructive Formal Systems	2003-10-16	Paper
Extracting information from intermediate semiconstructive HA-systems – extended abstract	2001-10-10	Paper
On canonicity and strong completeness conditions in intermediate propositional logics	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4699343	2000-06-14	Paper
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	2000-06-14	Paper
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4264067	1999-09-21	Paper
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic	1997-11-05	Paper
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property	1997-09-29	Paper
On maximal intermediate predicate constructive logics	1997-01-16	Paper
A method to single out maximal propositional logics with the disjunction property. I	1996-01-16	Paper
A method to single out maximal propositional logics with the disjunction property. II	1995-12-05	Paper
An improved refutation system for intuitionistic predicate logic	1995-02-22	Paper
Abstract parametric classes and abstract data types defined by classical and constructive logical methods	1995-01-11	Paper
Counting the maximal intermediate constructive logics	1994-09-01	Paper
An infinite class of maximal intermediate propositional logics with the disjunction property	1993-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q3973572	1992-06-26	Paper
Some results on intermediate constructive logics	1989-01-01	Paper
A constructivism based on classical truth	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3476793	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818308	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3311647	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669407	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4749237	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3928228	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942386	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4079028	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierangelo Miglioli