Pierluigi Minari

发表

A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

Pierluigi Minari, 1987, Math. Log. Q..

Theories of Types and Names with Positive Stratified Comprehension

Pierluigi Minari, 1999, Stud Logica.

Analytic combinatory calculi and the elimination of transitivity

Pierluigi Minari, Pierluigi Minari, 2004, Arch. Math. Log..

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

Pierluigi Minari, 1986, Stud Logica.

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

Pierluigi Minari, Pierluigi Minari, 2007, Arch. Math. Log..

Review of "Standefer, Shawn, Proof theory for functional modal logic. Studia Logica 106 (2018), no. 1, 49–84"

Pierluigi Minari, 2018 .

Uniform Inseparability in Explicit Mathematics

Andrea Cantini, Pierluigi Minari, 1999, J. Symb. Log..

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

Pierluigi Minari, 2009, Arch. Math. Log..

Intermediate logics with the same disjunctionless fragment as intuitionistic logic

Pierluigi Minari, 1986, Stud Logica.

Labeled sequent calculi for modal logics and implicit contractions

Pierluigi Minari, Pierluigi Minari, 2013, Arch. Math. Log..

Quasilinear Posets and some Subsystems Of Dummett's LC

Pierluigi Minari, 1987, Math. Log. Q..

A note on the logic of distributed knowledge

Pierluigi Minari, Centrone Stefania, 2019 .

On the Semantics of Comparative Logic

Pierluigi Minari, 1988, Math. Log. Q..

A note on Lukasiewicz’s three-valued logic

Pierluigi Minari, 2002 .

Intermediate predicate logics determined by ordinals

Mitio Takano, Hiroakira Ono, Pierluigi Minari, 1990, Journal of Symbolic Logic.

Logic and Foundations of Mathematics

Ettore Casari, Andrea Cantini, Pierluigi Minari, 1999 .