Pierluigi Minari

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2013 J jnl
Labeled sequent calculi for modal logics and implicit contractions.
Arch. Math. Log.
Pierluigi Minari
2009 J jnl
A solution to Curry and Hindley's problem on combinatory strong reduction.
Arch. Math. Log.
Pierluigi Minari
2007 J jnl
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.
Arch. Math. Log.
Pierluigi Minari
2004 J jnl
Analytic combinatory calculi and the elimination of transitivity.
Arch. Math. Log.
Pierluigi Minari
1999 J jnl
Theories of Types and Names with Positive Stratified Comprehension.
Stud Logica
Pierluigi Minari
1999 J jnl
Uniform Inseparability in Explicit Mathematics.
J. Symb. Log.
Andrea Cantini, Pierluigi Minari
1990 J jnl
Intermediate Predicate Logics Determined by Ordinals.
J. Symb. Log.
Pierluigi Minari, Mitio Takano, Hiroakira Ono
1988 J jnl
On the Semantics of Comparative Logic.
Math. Log. Q.
Pierluigi Minari
1987 J jnl
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains.
Math. Log. Q.
Pierluigi Minari
1987 J jnl
Quasilinear Posets and some Subsystems Of Dummett's LC.
Math. Log. Q.
Pierluigi Minari
1986 J jnl
Intermediate logics with the same disjunctionless fragment as intuitionistic logic.
Stud Logica
Pierluigi Minari
1986 J jnl
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.
Stud Logica
Pierluigi Minari