Varieties of BL-algebras. I: General properties.

From MaRDI portal
Publication:1812017

DOI10.1016/S0022-4049(02)00329-8zbMath1034.06009OpenAlexW2098994964MaRDI QIDQ1812017

Franco Montagna, Paolo Agliano

Publication date: 18 June 2003

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

Full work available at URL: https://doi.org/10.1016/s0022-4049(02)00329-8




Related Items

Prelinearity in (quasi-)Nelson logicOrdinal sums: from triangular norms to bi- and multivariate copulasGluing residuated latticesSemilinear De Morgan monoids and epimorphismsStructural and universal completeness in algebra and logicAmalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many componentsTransfer theorems for finitely subdirectly irreducible algebrasSemilinear idempotent distributive \(\ell\)-monoidsKites and residuated lattices\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logicThe Archimedean property: new horizons and perspectivesFranco Montagna's work on provability logic and many-valued logicUnnamed ItemGroup representation for even and odd involutive commutative residuated chainsFuzzy \(n\)-fold obstinate filters in BL-algebrasThe variety generated by all the ordinal sums of perfect MV-chainsAdding truth-constants to logics of continuous t-norms: axiomatization and completeness resultsProduct logic and probabilistic Ulam gamesEvery linear pseudo BL-algebra admits a stateOn a new construction of pseudo BL-algebrasHow Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures?Falling Shadow Theory with Applications in HoopsOn normal-valued basic pseudo-hoopsProjectivity and unification in substructural logics of generalized rotationsVarieties of K-latticesPseudo-BCK algebras as partial algebrasCompleteness with respect to a chain and universal models in fuzzy logicOn some questions concerning the axiomatisation of WNM-algebras and their subvarietiesThe approximation of left-continuous t-normsMonadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logicObituary: Franco Montagna (1948--2015)On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebrasAn expansion of basic logic with fixed pointsComplexity of some language fragments of fuzzy logicsOn strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansionsVarieties of BL-algebras. I, revisitedFilters on some classes of quantum B-algebrasState BL-algebrasThe free \(n\)-generated BL-algebraAmalgamation property for varieties of BL-algebras generated by one chain with finitely many componentsResiduated lattices arising from equivalence relations on Boolean and Brouwerian algebras\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolationRotation logicsNon-commutative fuzzy structures and pairs of weak negations.Kites and pseudo BL-algebras.Varieties generated by standard BL-algebrasFinite model property and varieties of BL-algebrasExpressivity in chain-based modal logicsThe decomposition of linearly ordered pseudo-hoopsThe Rényi-Ulam games and many-valued logicsSingle chain completeness and some related propertiesA classification of certain group-like \(\mathrm{FL}_e\)-chainsOn decomposition of pseudo BL-algebrasAmalgamation and interpolation in ordered algebras.Expanding basic fuzzy logic with truth constants for component delimitersEmbedding theorems for classes of GBL-algebras\(n\)-contractive BL-logicsOn the structure of pseudo BL-algebras and pseudo hoops in quantum logicsFunctional representation of finitely generated free algebras in subvarieties of BL-algebrasOn the predicate logics of continuous t-norm BL-algebrasCompatible deductive systems of pulexesNotes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order ExtensionsRepresentation of BL-algebras with finite independent spectrumGeneralized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logicsTriangular norm based predicate fuzzy logicsFuzzy logics with an additional involutive negationMTL-algebras arising from partially ordered groupsOn extensions of triangular norms on bounded latticesProbabilistic averaging in bounded commutative residuated \(\ell\)-monoidsInterpolation and Beth's property in propositional many-valued logics: a semantic investigationThe Hahn embedding theorem for a class of residuated semigroupsVarieties of BL-algebras. III: Splitting algebrasFuzzy description logics and \(t\)-norm based fuzzy logicsApplications of Finite Duality to Locally Finite Varieties of BL-AlgebrasCanonicity in subvarieties of BL-algebrasMNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansionsAglianò-Montagna type decomposition of linear pseudo hoops and its applicationsVarieties of BL-algebras. IIPoset product and BL-chainsPoset product and BL-algebrasMonadic bounded hoopsOn the Equational Characterization of Continuous t-NormsStrictly join irreducible varieties of BL-algebras: the missing piecesArchimedean classes in integral commutative residuated chainsAlgebras of Fuzzy Sets in Logics Based on Continuous Triangular NormsDistinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalenciesFree algebras in varieties of BL-algebras generated by a BLn-chainOn linear varieties of MTL-algebrasFirst-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness propertiesSupersound many-valued logics and Dedekind-MacNeille completionsOn the structure of linearly ordered pseudo-BCK-algebrasSplittings in subreducts of hoopsRepresentation by triples of algebras with an MV-retractSplittings in GBL-algebras. I: The general caseSplittings in GBL-algebras. II: The representable caseNatural dualities for varieties of BL-algebrasAn algebraic study of the logic \textbf{S5'(BL)}Projectivity in (bounded) commutative integral residuated latticesA categorical equivalence for product algebrasSplit exact sequences of finite MTL-chainsComplexity issues in Basic LogicStandard completeness of Hájek basic logic and decompositions of BL-chainsVarieties of BL-algebrasFiniteness based results in BL-algebrasArithmetical complexity of fuzzy predicate logics -- a surveyGenerating the variety of BL-algebrasBounded commutative residuated \(\ell\)-monoids with general comparability and states



Cites Work