Projectivity and unification in substructural logics of generalized rotations
From MaRDI portal
Publication:2677856
DOI10.1016/j.ijar.2022.11.018OpenAlexW4310816230MaRDI QIDQ2677856
Publication date: 6 January 2023
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2022.11.018
Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Almost structural completeness; an algebraic approach
- Ideals in universal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Free MV\(_n\)-algebras
- Structural completeness in fuzzy logics
- Discriminator varieties and symbolic computation
- On subtractive varieties II: General properties
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of rotation-invariant semigroups
- Semi-normal forms and functional representation of product fuzzy logic.
- Triangular norms
- Towards a probability theory for product logic: states, integral representation and reasoning
- Adding involution to residuated structures
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Varieties of BL-algebras. I: General properties.
- A complete many-valued logic with product-conjunction
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
- Projectivity in (bounded) commutative integral residuated lattices
- Rotation logics
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- A topological approach to MTL-algebras
- Representation by triples of algebras with an MV-retract
- Admissibility via natural dualities
- A categorical equivalence for product algebras
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Free algebras in varieties of Stonean residuated lattices
- Cancellative residuated lattices
- Computing coproducts of finitely presented Gödel algebras
- Representations by algebras of sections over Boolean spaces
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Unification in modal and description logics
- Unification and projectivity in Fregean varieties
- On modal extensions of Product fuzzy logic
- THE STRUCTURE OF RESIDUATED LATTICES
- Constructive Logic with Strong Negation as a Substructural Logic
- Algebraizable logics
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Unification through projectivity
- 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
- Free algebras in varieties of BL-algebras generated by a BLn-chain
- Free nilpotent minimum algebras
- A Machine-Oriented Logic Based on the Resolution Principle
- Refinement properties for relational structures
This page was built for publication: Projectivity and unification in substructural logics of generalized rotations
