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 logic ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Gluing residuated lattices ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Structural and universal completeness in algebra and logic ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ Kites and residuated lattices ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ The Archimedean property: new horizons and perspectives ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Unnamed Item ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Fuzzy \(n\)-fold obstinate filters in BL-algebras ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Product logic and probabilistic Ulam games ⋮ Every linear pseudo BL-algebra admits a state ⋮ On a new construction of pseudo BL-algebras ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Falling Shadow Theory with Applications in Hoops ⋮ On normal-valued basic pseudo-hoops ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of K-lattices ⋮ Pseudo-BCK algebras as partial algebras ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ The approximation of left-continuous t-norms ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ An expansion of basic logic with fixed points ⋮ Complexity of some language fragments of fuzzy logics ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Varieties of BL-algebras. I, revisited ⋮ Filters on some classes of quantum B-algebras ⋮ State BL-algebras ⋮ The free \(n\)-generated BL-algebra ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ Rotation logics ⋮ Non-commutative fuzzy structures and pairs of weak negations. ⋮ Kites and pseudo BL-algebras. ⋮ Varieties generated by standard BL-algebras ⋮ Finite model property and varieties of BL-algebras ⋮ Expressivity in chain-based modal logics ⋮ The decomposition of linearly ordered pseudo-hoops ⋮ The Rényi-Ulam games and many-valued logics ⋮ Single chain completeness and some related properties ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ On decomposition of pseudo BL-algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ Embedding theorems for classes of GBL-algebras ⋮ \(n\)-contractive BL-logics ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ Functional representation of finitely generated free algebras in subvarieties of BL-algebras ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ Compatible deductive systems of pulexes ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ Representation of BL-algebras with finite independent spectrum ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Fuzzy logics with an additional involutive negation ⋮ MTL-algebras arising from partially ordered groups ⋮ On extensions of triangular norms on bounded lattices ⋮ Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ The Hahn embedding theorem for a class of residuated semigroups ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Applications of Finite Duality to Locally Finite Varieties of BL-Algebras ⋮ Canonicity in subvarieties of BL-algebras ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ Aglianò-Montagna type decomposition of linear pseudo hoops and its applications ⋮ Varieties of BL-algebras. II ⋮ Poset product and BL-chains ⋮ Poset product and BL-algebras ⋮ Monadic bounded hoops ⋮ On the Equational Characterization of Continuous t-Norms ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ Archimedean classes in integral commutative residuated chains ⋮ Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Free algebras in varieties of BL-algebras generated by a BLn-chain ⋮ On linear varieties of MTL-algebras ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ On the structure of linearly ordered pseudo-BCK-algebras ⋮ Splittings in subreducts of hoops ⋮ Representation by triples of algebras with an MV-retract ⋮ Splittings in GBL-algebras. I: The general case ⋮ Splittings in GBL-algebras. II: The representable case ⋮ Natural dualities for varieties of BL-algebras ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ A categorical equivalence for product algebras ⋮ Split exact sequences of finite MTL-chains ⋮ Complexity issues in Basic Logic ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains ⋮ Varieties of BL-algebras ⋮ Finiteness based results in BL-algebras ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey ⋮ Generating the variety of BL-algebras ⋮ Bounded commutative residuated \(\ell\)-monoids with general comparability and states
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of semi-groups on a compact manifold with boundary
- Ideals in universal algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
- Metamathematics of fuzzy logic
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- On the structure of hoops
- Equational characterization of all varieties of MV-algebras
- Equational classes of relative Stone algebras
- Algebraic Analysis of Many Valued Logics
- Cyclic Elements in MV‐Algebras and Post Algebras
- Varieties of MV-algebras
- Komplementäre Halbgruppen. Axiomatik und Arithmetik