On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes. - Pierluigi Minari (Stud Logica, 1986)

Intermediate logics with the same disjunctionless fragment as intuitionistic logic. - Pierluigi Minari (Stud Logica, 1986)

Quasilinear Posets and some Subsystems Of Dummett's LC. - Pierluigi Minari (Math. Log. Q., 1987)

A Note on a Subsystem Of Intuitionistic Logic with Constant Domains. - Pierluigi Minari (Math. Log. Q., 1987)

On the Semantics of Comparative Logic. - Pierluigi Minari (Math. Log. Q., 1988)

Intermediate Predicate Logics Determined by Ordinals. - Pierluigi Minari; Mitio Takano; Hiroakira Ono (J. Symb. Log., 1990)

Uniform Inseparability in Explicit Mathematics. - Andrea Cantini; Pierluigi Minari (J. Symb. Log., 1999)

Theories of Types and Names with Positive Stratified Comprehension. - Pierluigi Minari (Stud Logica, 1999)

Analytic combinatory calculi and the elimination of transitivity. - Pierluigi Minari (Arch. Math. Log., 2004)

Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. - Pierluigi Minari (Arch. Math. Log., 2007)

A solution to Curry and Hindley's problem on combinatory strong reduction. - Pierluigi Minari (Arch. Math. Log., 2009)

Labeled sequent calculi for modal logics and implicit contractions. - Pierluigi Minari (Arch. Math. Log., 2013)