Rotation logics
From MaRDI portal
Recommendations
- Rotation symmetric logic formulas in quantitative logic
- Rotations in the plane and Prolog
- scientific article; zbMATH DE number 6718872
- Rotation as a general operation for configuration processing
- Rotation and pseudo-rotation
- scientific article; zbMATH DE number 4152730
- Nonlinear rotations
- Rotation matrices
Cites work
- A characterization theorem on the rotation construction for triangular norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- A survey of abstract algebraic logic
- Algebraizable logics
- An algebraic approach to non-classical logics
- Basic hoops: an algebraic study of continuous t-norms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- Generalized MV-algebras
- scientific article; zbMATH DE number 3700829 (Why is no real title available?)
- scientific article; zbMATH DE number 98750 (Why is no real title available?)
- scientific article; zbMATH DE number 2068681 (Why is no real title available?)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- MTL-algebras as rotations of basic hoops
- On a class of left-continuous \(\text t\)-norms
- On subtractive varieties. III: From ideals to congruences
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On the structure of hoops
- On the structure of rotation-invariant semigroups
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- On Weakly Cancellative Fuzzy Logics
- Representation by triples of algebras with an MV-retract
- Residuated lattices. An algebraic glimpse at substructural logics
- Splittings in GBL-algebras. II: The representable case
- Standard completeness theorem for \(\Pi\)MTL
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- Structure of left-continuous triangular norms with strong induced negations (II) Rotation-annihilation construction
- The construction of left-continuous t-norms: a geometric approach in two dimensions
- Varieties of BL-algebras. I, revisited
- Varieties of BL-algebras. I: General properties.
- Varieties of BL-algebras. II
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
Cited in
(8)- Elements of spin logic
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Projectivity and unification in substructural logics of generalized rotations
- scientific article; zbMATH DE number 6718872 (Why is no real title available?)
- MTL-algebras as rotations of basic hoops
- Prelinearity in (quasi-)Nelson logic
- Structural and universal completeness in algebra and logic
- Structural completeness in basic hoops and \(\mathsf{BL}\)-algebras
This page was built for publication: Rotation logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219165)
