Computing coproducts of finitely presented Gödel algebras

DOI10.1016/j.apal.2005.12.015zbMath1099.03055MaRDI QIDQ2503401

Vincenzo Marra, Ottavio M. D'Antona

Publication date: 14 September 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.12.015

zbMATH Keywords

coproducts; Heyting algebras; trees; forests; ordered partitions; Gödel algebras; open maps

Mathematics Subject Classification ID

03G25: Other algebras related to logic

Related Items

Algebraic semantics for modal and superintuitionistic non-monotonic logics, Prelinearity in (quasi-)Nelson logic, The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic, Coproducts of distributive lattice-based algebras., Gödel algebras: interactive dualities and their applications., Normal forms and free algebras for some extensions of MTL, Gödel algebras free over finite distributive lattices, An analysis of Ruspini partitions in Gödel logic, Probability measures in the logic of nilpotent minimum, De Finetti's no-Dutch-book criterion for Gödel logic, Prelinear Hilbert algebras, On prelinear Hilbert algebras with successor, Projectivity in (bounded) commutative integral residuated lattices, Representations for logics and algebras related to revised drastic product t-norm, Projectivity and unification in substructural logics of generalized rotations, Applications of Finite Duality to Locally Finite Varieties of BL-Algebras

Cites Work

• Unification, finite duality and projectivity in varieties of Heyting algebras
• Metamathematics of fuzzy logic
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Duality and definability in first order logic
• Logic with truth values in A linearly ordered heyting algebra
• Free L-algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item