Pierluigi Minari

Publication Activity (10 Years)

Years Active: 1986-2013
Publications (10 Years): 0

Top Topics

Sequent Calculi

Decision Procedures

Supervised Learning

Top Venues

Arch. Math. Log.

Publications

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