# Pierluigi Minari

According to our database

Collaborative distances:

^{1}, Pierluigi Minari authored at least 12 papers between 1986 and 2013.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2013

Labeled sequent calculi for modal logics and implicit contractions.

Arch. Math. Log., 2013

2009

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

Arch. Math. Log., 2009

2007

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

Arch. Math. Log., 2007

2004

Analytic combinatory calculi and the elimination of transitivity.

Arch. Math. Log., 2004

1999

Theories of Types and Names with Positive Stratified Comprehension.

Studia Logica, 1999

Uniform Inseparability in Explicit Mathematics.

J. Symb. Log., 1999

1990

Intermediate Predicate Logics Determined by Ordinals.

J. Symb. Log., 1990

1988

On the Semantics of Comparative Logic.

Math. Log. Q., 1988

1987

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

Math. Log. Q., 1987

Quasilinear Posets and some Subsystems Of Dummett's LC.

Math. Log. Q., 1987

1986

Intermediate logics with the same disjunctionless fragment as intuitionistic logic.

Studia Logica, 1986

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

Studia Logica, 1986