Pierluigi Minari

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

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


  Loading...