Authors: GHILARDI S OTTENZIALI L

Citation: S. Ghilardi et L. Ottenziali, Un esempio di prevenzione e di pianificazione territoriale: le carte geoambientali del Triangolo Lariano, Memorie della Societa Geologica Italiana , 32, 1986, pp. 221-234

Authors: GHILARDI S ZAWADOWSKI M

Citation: S. Ghilardi et M. Zawadowski, MODEL COMPLETIONS AND R-HEYTING CATEGORIES, Annals of pure and applied Logic, 88(1), 1997, pp. 27-46

Authors: GHILARDI S MELONI G

Citation: S. Ghilardi et G. Meloni, CONSTRUCTIVE CANONICITY IN NONCLASSICAL LOGICS, Annals of pure and applied Logic, 86(1), 1997, pp. 1-32

Authors: GHILARDI S MELONI G

Citation: S. Ghilardi et G. Meloni, RELATIONAL AND PARTIAL VARIABLE SETS AND BASIC PREDICATE LOGIC, The Journal of symbolic logic, 61(3), 1996, pp. 843-872

Authors: GHILARDI S

Citation: S. Ghilardi, AN ALGEBRAIC-THEORY OF NORMAL FORMS, Annals of pure and applied Logic, 71(3), 1995, pp. 189-245

Authors: GHILARDI S ZAWADOWSKI M

Citation: S. Ghilardi et M. Zawadowski, A SHEAF REPRESENTATION AND DUALITY FOR FINITELY PRESENTED HEYTING ALGEBRAS, The Journal of symbolic logic, 60(3), 1995, pp. 911-939