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
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4699343	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

This page was built for person: Pierangelo Miglioli