Equational characterization of the subvarieties of BL generated by t-norm algebras

DOI10.1023/B:STUD.0000032084.12744.e3zbMath1045.03048OpenAlexW2000260716MaRDI QIDQ1826926

Lluís Godo, Francesc Esteva, Franco Montagna

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000032084.12744.e3

zbMATH Keywords

varietiesaxiomatizationBL-algebrast-norm algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items (25)

Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Varieties of K-lattices ⋮ Mathematical Fuzzy Logics ⋮ Obituary: Franco Montagna (1948--2015) ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Varieties of BL-algebras. I, revisited ⋮ On Conjectures in t-Norm Based Fuzzy Logics ⋮ Distinguishing standard SBL-algebras with involutive negations by propositional formulas ⋮ Varieties generated by standard BL-algebras ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. ⋮ Fuzzy sets and formal logics ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Fuzzy logics with an additional involutive negation ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Varieties of BL-algebras. II ⋮ Randomized semantic games for fuzzy logics ⋮ On the Equational Characterization of Continuous t-Norms ⋮ Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years ⋮ Complexity issues in Basic Logic ⋮ Varieties of BL-algebras

This page was built for publication: Equational characterization of the subvarieties of BL generated by t-norm algebras