Rotation logics
From MaRDI portal
Publication:2219165
DOI10.1016/j.fss.2019.07.015zbMath1452.03071OpenAlexW4232576521MaRDI QIDQ2219165
Publication date: 19 January 2021
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2019.07.015
Related Items (3)
Projectivity and unification in substructural logics of generalized rotations ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Structural and universal completeness in algebra and logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The construction of left-continuous t-norms: a geometric approach in two dimensions
- Residuated lattices. An algebraic glimpse at substructural logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- An algebraic approach to non-classical logics
- On subtractive varieties. III: From ideals to congruences
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of rotation-invariant semigroups
- A survey of abstract algebraic logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Varieties of BL-algebras. I, revisited
- Generalized MV-algebras
- Standard completeness theorem for \(\Pi\)MTL
- Varieties of BL-algebras. II
- A characterization theorem on the rotation construction for triangular norms
- Varieties of BL-algebras. I: General properties.
- On the structure of hoops
- On a class of left-continuous \(\text t\)-norms
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Representation by triples of algebras with an MV-retract
- Splittings in GBL-algebras. II: The representable case
- Basic hoops: an algebraic study of continuous t-norms
- On Weakly Cancellative Fuzzy Logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Algebraizable logics
- Structure of left-continuous triangular norms with strong induced negations (II) Rotation-annihilation construction
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- MTL-algebras as rotations of basic hoops
This page was built for publication: Rotation logics
