Pierluigi Minari

According to our database, Pierluigi Minari authored at least 12 papers between 1986 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Labeled sequent calculi for modal logics and implicit contractions.

Pierluigi Minari

Arch. Math. Log., 2013

2009

A solution to Curry and Hindley's problem on combinatory strong reduction.

Pierluigi Minari

Arch. Math. Log., 2009

2007

Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.

Pierluigi Minari

Arch. Math. Log., 2007

2004

Analytic combinatory calculi and the elimination of transitivity.

Pierluigi Minari

Arch. Math. Log., 2004

1999

Theories of Types and Names with Positive Stratified Comprehension.

Pierluigi Minari

Stud Logica, 1999

Uniform Inseparability in Explicit Mathematics.

Andrea Cantini, Pierluigi Minari

J. Symb. Log., 1999

1990

Intermediate Predicate Logics Determined by Ordinals.

Pierluigi Minari, Mitio Takano, Hiroakira Ono

J. Symb. Log., 1990

1988

On the Semantics of Comparative Logic.

Pierluigi Minari

Math. Log. Q., 1988

1987

A Note on a Subsystem Of Intuitionistic Logic with Constant Domains.

Pierluigi Minari

Math. Log. Q., 1987

Quasilinear Posets and some Subsystems Of Dummett's LC.

Pierluigi Minari

Math. Log. Q., 1987

1986

Intermediate logics with the same disjunctionless fragment as intuitionistic logic.

Pierluigi Minari

Stud Logica, 1986

On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.

Pierluigi Minari

Stud Logica, 1986