Rotation logics

DOI10.1016/J.FSS.2019.07.015MaRDI QIDQ2219165zbMATH OpenOpenAlexFDO

Authors Sara Ugolini, Paolo Agliano

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

zbMATH Keywords

fuzzy logicresiduated latticesnonclassical logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

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

• 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?)
• 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
• MTL-algebras as rotations of basic hoops
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On Weakly Cancellative Fuzzy Logics
• 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
• 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

(7)

• Elements of spin logic
• Structural and universal completeness in algebra and logic
• Prelinearity in (quasi-)Nelson logic
• 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
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

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)