Studia Logica:1-42 (forthcoming)
| Abstract |
For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of J. M. Dunnabout finite Sugihara monoids.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/s11225-021-09981-y |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
Logics of Left Variable Inclusion and Płonka Sums of Matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1-2):49-76.
Algebraic Completeness Results for R-Mingle and its Extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X2) = (2x)2.Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157-181.
View all 16 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
The Hahn Embedding Theorem for a Class of Residuated Semigroups.Sándor Jenei - 2020 - Studia Logica 108 (6):1161-1206.
On Involutive FL E -Monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
On the Variety Generated by Involutive Pocrims.James Raftery - 2007 - Reports on Mathematical Logic.
On the Reflection Invariance of Residuated Chains.Sándor Jenei - 2010 - Annals of Pure and Applied Logic 161 (2):220-227.
A Proof of Standard Completeness for Esteva and Godo's Logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
Archimedean Classes in Integral Commutative Residuated Chains.Rostislav Horčík & Franco Montagna - 2009 - Mathematical Logic Quarterly 55 (3):320-336.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Bounded BCK‐Algebras and Their Generated Variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
On Some Categories of Involutive Centered Residuated Lattices.J. L. Castiglioni, M. Menni & M. Sagastume - 2008 - Studia Logica 90 (1):93-124.
Compatible Operations on Commutative Residuated Lattices.José Luis Castiglioni, Matías Menni & Marta Sagastume - 2008 - Journal of Applied Non-Classical Logics 18 (4):413-425.
Commutative Integral Bounded Residuated Lattices with an Added Involution.Roberto Cignoli & Francesc Esteva - 2010 - Annals of Pure and Applied Logic 161 (2):150-160.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-Commutative Residuated Lattices with an S4-Like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
Amalgamation Through Quantifier Elimination for Varieties of Commutative Residuated Lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
Bounded BCK-Algebras and Their Generated Variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Analytics
Added to PP index
2022-02-26
Total views
1 ( #1,546,653 of 2,508,046 )
Recent downloads (6 months)
1 ( #416,715 of 2,508,046 )
2022-02-26
Total views
1 ( #1,546,653 of 2,508,046 )
Recent downloads (6 months)
1 ( #416,715 of 2,508,046 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
