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 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