Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic

DOI10.1007/s001530200144zbMath1025.03018OpenAlexW2293835309MaRDI QIDQ1407598

Antoni Torrens Torrell, Roberto L. O. Cignoli

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530200144

zbMATH Keywords

MV-algebrasŁukasiewicz logicBL-algebrasGlivenko's theorembasic fuzzy logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35) Many-valued logic (03B50)

Related Items

Several types of filters related to the Stonean axiom in residuated lattices, Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras, Unnamed Item, Semisimples in varieties of commutative integral bounded residuated lattices, Fuzzy Time in Linear Temporal Logic, The geometry of discrete \(L\)-algebras, Least \(V\)-quasivarieties of MV-algebras, Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts, Complexity of some language fragments of fuzzy logics, Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\), Some modal and temporal translations of generalized basic logic, An approach to Glivenko's theorem in algebraizable logics, Free algebras in varieties of Stonean residuated lattices, 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06, Negation in bounded commutative DRℓ-monoids, Free algebras in varieties of BL-algebras generated by a BL_n-chain, Glivenko theorems revisited, Glivenko theorems for substructural logics over FL, Standard completeness of Hájek basic logic and decompositions of BL-chains, Varieties of BL-algebras