Pierluigi Minari

Available identifiers

zbMath Open minari.pierluigiMaRDI QIDQ377467

List of research outcomes

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	2021-10-26	Paper
Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey	2020-08-10	Paper
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic	2020-08-07	Paper
Labeled sequent calculi for modal logics and implicit contractions	2013-11-06	Paper
A solution to Curry and Hindley's problem on combinatory strong reduction	2009-04-27	Paper
Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters	2007-06-07	Paper
Analytic combinatory calculi and the elimination of transitivity	2004-09-22	Paper
Theories of types and names with positive stratified comprehension	1999-10-11	Paper
Uniform inseparability in explicit mathematics	1999-06-29	Paper
Intermediate predicate logics determined by ordinals	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3472080	1988-01-01	Paper
On the Semantics of Comparative Logic	1988-01-01	Paper
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3801548	1987-01-01	Paper
Quasilinear Posets and some Subsystems Of Dummett's LC	1987-01-01	Paper
On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes	1986-01-01	Paper
Intermediate logics with the same disjunctionless fragment as intuitionistic logic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753997	1985-01-01	Paper
Completeness theorems for some intermediate predicate calculi	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3039318	1983-01-01	Paper

Research outcomes over time

This page was built for person: Pierluigi Minari