Computing coproducts of finitely presented Gödel algebras
From MaRDI portal
Publication:2503401
DOI10.1016/j.apal.2005.12.015zbMath1099.03055OpenAlexW2026315522MaRDI 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
Related Items (16)
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ Normal forms and free algebras for some extensions of MTL ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Coproducts of distributive lattice-based algebras. ⋮ Gödel algebras: interactive dualities and their applications. ⋮ 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 ⋮ Applications of Finite Duality to Locally Finite Varieties of BL-Algebras ⋮ Prelinear Hilbert algebras ⋮ On prelinear Hilbert algebras with successor ⋮ De Finetti's no-Dutch-book criterion for Gödel logic ⋮ Representations for logics and algebras related to revised drastic product t-norm ⋮ Projectivity in (bounded) commutative integral residuated lattices
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
This page was built for publication: Computing coproducts of finitely presented Gödel algebras
