On the structure of hoops

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

zbMATH Keywords

subdirectly irreducible algebrahoopordered residuated monoidWajsberg hoop

Mathematics Subject Classification ID

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 (only showing first 100 items - show all)

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 BL_n-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.

This page was built for publication: On the structure of hoops