Computing coproducts of finitely presented Gödel algebras

Annals of Pure and Applied Logic

Volumn 142, Issue 1-3, 2006, Pages 202-211

  D'Antona, Ottavio M ^a   Marra, Vincenzo ^a  

^a Dipartimento di Informatica e Comunicazione   (Italy)

Author keywords

Coproducts; Forests; G del algebras; Heyting algebras; Open maps; Ordered partitions; Trees

Indexed keywords

EID: 33745635357     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2005.12.015     Document Type: Article

References (9)

1. Davey B.A., and Priestley H.A. Introduction to Lattices and Order. 2nd edition (2002), Cambridge University Press, New York
2. Ghilardi S. Unification, finite duality and projectivity in varieties of Heyting algebras. Ann. Pure Appl. Logic 127 1-3 (2004) 99-115
3. Ghilardi S., and Zawadowski M. Sheaves, Games, and Model Completions. Trends in Logic-Studia Logica Library vol. 14 (2002), Kluwer Academic Publishers, Dordrecht
4. Hájek P. Metamathematics of Fuzzy Logic. Trends in Logic-Studia Logica Library vol. 4 (1998), Kluwer Academic Publishers, Dordrecht
5. Horn A. Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic 34 (1969) 395-408
6. Horn A. Free L-algebras. J. Symbolic Logic 34 (1969) 475-480
7. Johnstone P.T. Stone Spaces. Cambridge Studies in Advanced Mathematics vol. 3 (1982), Cambridge University Press, Cambridge
8. Makkai M. Duality and definability in first order logic. Mem. Amer. Math. Soc. 105 503 (1993) x+106 pp
9. Maksimova L.L. Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudoboolean algebras. Algebra Logika 16 6 (1977) 643-681 741