Pierluigi Minari

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Oskar Becker and the modal translation of intuitionistic logic	2022-10-28	Paper
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis Synthese Library	2021-10-26	Paper
Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey Mathesis Universalis, Computability and Proof	2020-08-10	Paper
Some remarks on the proof-theory and the semantics of infinitary modal logic Advances in Proof Theory	2020-08-07	Paper
Labeled sequent calculi for modal logics and implicit contractions Archive for Mathematical Logic	2013-11-06	Paper
A solution to Curry and Hindley's problem on combinatory strong reduction Archive for Mathematical Logic	2009-04-27	Paper
Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters Archive for Mathematical Logic	2007-06-07	Paper
Analytic combinatory calculi and the elimination of transitivity Archive for Mathematical Logic	2004-09-22	Paper
Theories of types and names with positive stratified comprehension Studia Logica	1999-10-11	Paper
Uniform inseparability in explicit mathematics Journal of Symbolic Logic	1999-06-29	Paper
Intermediate predicate logics determined by ordinals Journal of Symbolic Logic	1992-06-25	Paper
scientific article; zbMATH DE number 4139716 (Why is no real title available?)	1988-01-01	Paper
On the Semantics of Comparative Logic Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1988-01-01	Paper
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1987-01-01	Paper
scientific article; zbMATH DE number 4068866 (Why is no real title available?)	1987-01-01	Paper
Quasilinear Posets and some Subsystems Of Dummett's LC Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1987-01-01	Paper
On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes Studia Logica	1986-01-01	Paper
Intermediate logics with the same disjunctionless fragment as intuitionistic logic Studia Logica	1986-01-01	Paper
scientific article; zbMATH DE number 3991491 (Why is no real title available?)	1985-01-01	Paper
Completeness theorems for some intermediate predicate calculi Studia Logica	1983-01-01	Paper
scientific article; zbMATH DE number 3831907 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Pierluigi Minari