MINARI, PIERLUIGI

MINARI, PIERLUIGI  

Lettere e Filosofia  

Mostra records
Risultati 1 - 20 di 94 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
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 In corso di stampa 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