Group representation for even and odd involutive commutative residuated chains
From MaRDI portal
Publication:2157596
DOI10.1007/S11225-021-09981-YOpenAlexW2978567129WikidataQ114223403 ScholiaQ114223403MaRDI QIDQ2157596
Publication date: 22 July 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.01404
Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- States on finite linearly ordered IMTL-algebras
- Structure of left-continuous triangular norms with strong induced negations. III: Construction and decomposition
- On the structure of semi-groups on a compact manifold with boundary
- Axiomatic extensions of IMT3 logic
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Embedding theorems for classes of GBL-algebras
- Abelian logic and the logics of pointed lattice-ordered varieties
- Ordered groups with a conucleus
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Metamathematics of fuzzy logic
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Dualities for Płonka sums
- Generalized MV-algebras
- Varieties of BL-algebras. I: General properties.
- A category equivalence for odd Sugihara monoids and its applications
- The Hahn embedding theorem for a class of residuated semigroups
- Structure theorems for idempotent residuated lattices
- Logics of left variable inclusion and Płonka sums of matrices
- A proof of the standard completeness for the involutive uninorm logic
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Formal systems of fuzzy logic and their fragments
- Representable pseudo-BCK-algebras and integral residuated lattices
- Cancellative residuated lattices
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Minimal varieties of residuated lattices
- Representable idempotent commutative residuated lattices
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Idempotent residuated structures: Some category equivalences and their applications
- Substructural fuzzy logics
- Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case
- On a method of construction of abstract algebras
- Ordered Inverse Semigroups
- Algebraic completeness results for R-mingle and its extensions
- On Some Varieties of MTL-algebras
- Correction to: ``The Hahn embedding theorem for a class of residuated semigroups
This page was built for publication: Group representation for even and odd involutive commutative residuated chains
