On the structure of hoops
From MaRDI portal
Publication:1866813
DOI10.1007/s000120050156zbMath1012.06016OpenAlexW1965682580MaRDI QIDQ1866813
I. M. A. Ferreirim, Willem J. Blok
Publication date: 23 April 2003
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120050156
Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Subdirect products and subdirect irreducibility (08B26)
Related Items
Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ On fuzzy Sheffer strokes: new results and the ordinal sums ⋮ Fragments of quasi-Nelson: residuation ⋮ Universal algebraic methods for non-classical logics ⋮ Structural and universal completeness in algebra and logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Decomposition of Garside groups and self-similar \(L\)-algebras ⋮ Quotient Hoops Induced by Quasi-Valuation Maps ⋮ Representable idempotent commutative residuated lattices ⋮ Nodal filters in hoop algebras ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Hoop twist-structures ⋮ Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ Factor congruences in BCK-algebras ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ Cancellative residuated lattices arising on 2-generated submonoids of natural numbers ⋮ Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras ⋮ MV-closures of Wajsberg hoops and applications ⋮ Multipotent GBL-algebras ⋮ Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term ⋮ Minimal varieties of representable commutative residuated lattices ⋮ Varieties of K-lattices ⋮ Varieties of bounded K-lattices ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Results on Hyper Hoop-Algebras ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ An expansion of basic logic with fixed points ⋮ Varieties of BL-algebras. I, revisited ⋮ States and internal states on semihoops ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ Minimal varieties of involutive residuated lattices ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS ⋮ Rotation logics ⋮ Fuzzy regular relation on hyper hoop-algebras ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Pavelka-style completeness in expansions of Łukasiewicz logic ⋮ State maps on semihoops ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. ⋮ The Rényi-Ulam games and many-valued logics ⋮ Single chain completeness and some related properties ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ (Dual) Hoops Have Unique Halving ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Embedding theorems for classes of GBL-algebras ⋮ \(n\)-contractive BL-logics ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ A logical and algebraic treatment of conditional probability ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ The Automorphism Group of Falsum-Free Product Logic ⋮ Representation of BL-algebras with finite independent spectrum ⋮ On ordinal sums of triangular norms on bounded lattices ⋮ Fuzzy logics from substructural perspective ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ Generalized ordinal sums of aggregation operators on bounded lattices ⋮ Logic for abstract hoop twist-structures ⋮ Unnamed Item ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Canonicity in subvarieties of BL-algebras ⋮ Varieties of BL-algebras. II ⋮ Poset product and BL-chains ⋮ Poset product and BL-algebras ⋮ Monadic bounded hoops ⋮ Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation ⋮ Generic substitutions ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ Involutive filters of pseudo-hoops ⋮ On the Equational Characterization of Continuous t-Norms ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras ⋮ Varieties of BL-algebras. I: General properties. ⋮ Free algebras in varieties of BL-algebras generated by a BLn-chain ⋮ On linear varieties of MTL-algebras ⋮ On the structure of linearly ordered pseudo-BCK-algebras ⋮ A short note on divisible residuated semilattices ⋮ Splittings in subreducts of hoops ⋮ Splittings in GBL-algebras. I: The general case ⋮ Soju Filters in Hoop Algebras ⋮ A general Glivenko theorem ⋮ Semiconic idempotent residuated structures ⋮ The existence of states based on Glivenko semihoops ⋮ A small set of axioms for residuated logic ⋮ Splittings in varieties of logic ⋮ A family of graded epistemic logics ⋮ Natural dualities for varieties of BL-algebras ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ Geometrical methods in Wajsberg hoops ⋮ Measures Induced by Units ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. ⋮ A categorical equivalence for product algebras ⋮ Poset products as relational models ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains ⋮ Varieties of BL-algebras ⋮ Generating the variety of BL-algebras ⋮ ALGEBRAIC EXPANSIONS OF LOGICS
