Computing coproducts of finitely presented Gödel algebras
From MaRDI portal
Publication:2503401
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
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