MINARI, PIERLUIGI
MINARI, PIERLUIGI
Lettere e Filosofia
A note on a subsystem of intuitionistic logic with constant domains
1987 P.Minari
A note on Lukasiewicz’s three-valued logic
2003 P.Minari
A note on the logic of distributed knowledge
2019 Pierluigi Minari, Stefania Centrone
A solution to Curry and Hindley's problem on combinatory strong reduction
2009 P.Minari
Analytic combinatory calculi and the elimination of transitivity
2004 P. MINARI
Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey
2019 pierluigi minari
Analytic proof systems for λ-calculus:the elimination of transitivity, and why it matters
2007 P. Minari
Becker's rule is not Becker's rule
2024 Pierluigi Minari; Stefania Centrone
Bibliografia di Ettore Casari
2021 Cantini, Andrea ; Minari, Pierluigi
Completeness theorems for some intermediate predicate calculi
1983 P.Minari
Disjunction and existence properties in intermediate predicate logics
1986 P.Minari
Essay review of "Bimbó, Katalin Proof theory. Sequent calculi and related formalisms. Discrete Mathematics and its Applications (Boca Raton). CRC Press, Boca Raton, FL, 2015. x+376 pp."
2016 Pierluigi, Minari
Husserl and Boole
2017 Centrone, Stefania; Minari, Pierluigi
Husserl and Schroeder
2017 Centrone, Stefania; Minari, Pierluigi
Husserl on Schroeder's View of Logic
2014 Stefania, Centrone; Pierluigi, Minari
Indagini semantiche sulle logiche intermedie proposizionali
1989 P.Minari
Infinitary Modal Logic and Generalized Kripke Semantics
2012 Minari, Pierluigi
Intermediate logics with the same disjunctionless fragment as intuitionistic logic
1986 P.Minari
Intermediate Logics. An historical outline and a guided bibliography
1983 P.Minari
Intermediate predicate logics determined by ordinals
1990 P.Minari; M.Takano; H.Ono