Group Representation for Even and Odd Involutive Commutative Residuated Chains

1. Agliano, P., and F. Montagna,Varieties of BL-algebras I: general properties, Journal of Pure and Applied Algebra 181(2-3):105–129, 2003.

   Article  Google Scholar 

2. Anderson, A. R., and N.D. Belnap, Entailment. Volume I: The logic of relevance and necessity, Princeton University Press, Princeton, N. J., 1975.

3. Anderson, M., and T. Feil, Lattice-Ordered Groups: An Introduction, D. Reidel, 1988.

4. Bahls, P., J. Cole, N. Galatos, P. Jipsen, and C., Tsinakis, Cancellative residuated lattices, Algebra Universalis, 50(1): 83–106, 2003.

   Article  Google Scholar 

5. Baldi, P., A. Ciabattoni, and F. Gulisano, Standard completeness for extensions of IMTL, in 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017, pp. 1–6.

6. Blok, W., and J. G. Raftery, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Journal of Algebra 190:280–328, 1997.

   Article  Google Scholar 

7. Bonzio, S., Dualities for Plonka sums, Logica Universalis 12: 327–339, 2018.

   Article  Google Scholar 

8. Bonzio, S., T. Moraschini, and M. Pra Baldi, Logics of left variable inclusion and Plonka sums of martices, Archive for Mathematical Logic 60:49–76, 2021.

9. Cabrer, L. M., and S. A. Celani, Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Central European Journal of Mathematics 4(4): 600–623, 2006.

   Article  Google Scholar 

10. Cabrer, L. M., and S. A. Celani, Kripke Semantics for Monoidal T-norm based Logics MTL and IMTL, CLE e-Prints 8(6), 2008; https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/914.

11. Casari, E., Comparative logics and Abelian \(\ell \)-groups, in in R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo, (eds.), Logic Colloquium ’88, North Holland, Amsterdam, 1989, pp. 161–190.

    Google Scholar 

12. Cignoli, R. L. O., I. M. L. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, vol. 7 of Trends in Logic, Kluwer Academic Publishers, 1999.

13. Cignoli, R., and A. T. Torrell, Free Algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^2) = (2x)^2\), Studia Logica 83:157–181, 2006.

    Article  Google Scholar 

14. Cintula, P., P. Hájek, and R. Horvčik, Formal systems of fuzzy logic and their fragments, Annals of Pure and Applied Logic, 150(1-3):40–65, 2007.

    Article  Google Scholar 

15. Dunn, J. M., Algebraic completeness results for R mingle and its extensions. Journal of Symbolic Logic 35(1):1–13, 1970.

    Article  Google Scholar 

16. Esteva, F., J. Gispert, L. Godo and F. Montagna, On the standard and rational completeness of some axiomatic extensions of the Monoidal T-norm Logic, Studia Logica 71(2):199–226, 2002.

    Article  Google Scholar 

17. Esteva, F., and L. Godo, Towards the generalization of Mundici’s \(\Gamma \) functor to IMTL algebras: The linearly ordered case, in: S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, (eds.), Algebraic and Proof-theoretic Aspects of Non-classical Logics, vol. 4460 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2007, pp. 127–137.

    Chapter  Google Scholar 

18. Galatos, N., Minimal varieties of residuated lattices, AlgebraUniversalis 52(2–3):215–239, 2005.

    Google Scholar 

19. Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, Amsterdam, 2007.

    Google Scholar 

20. Galatos, N., and J. G. Raftery, A category equivalence for odd Sugihara monoids and its applications, Journal of Pure and Applied Algebra 216: 2177–2192, 2012.

    Article  Google Scholar 

21. Galatos, N., and J. G. Raftery, Idempotent residuated structures: Some category equivalences and their applications, Transactions of the American Mathematical Society 367:3189-3223,2015.

    Article  Google Scholar 

22. Galatos, N., and C. Tsinakis, Generalized MV-algebras, Journal of Algebra 283:254–291, 2005.

    Article  Google Scholar 

23. Gil-Férez, J., P. Jipsen and G. Metcalfe, Structure theorems for idempotent residuated lattices, Algebra Universalis, published online May 4, 2020, https://doi.org/10.1007/s00012-020-00659-5

24. Gispert, J., and A. Torrens, Axiomatic Extensions of IMT3 Logic, Studia Logica, 81(3):311–324, 2005.

    Article  Google Scholar 

25. Hájek, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic, Kluwer Academic Publishers, 1998.

26. Horčik, R. Algebraic semantics, in: P. Cintula, P. Hájek, and C. Noguera, (eds.), Handbook of Mathematical Fuzzy Logic, College Publications, 2011, pp. 283–353.

27. Jenei. S. Structure of left-continuous triangular norms with strong induced negations. (III) Construction and decomposition, Fuzzy Sets and Systems 128(2):197-208 2002.

28. Jenei, S., Co-rotation, co-rotation-annihilation, and involutive ordinal sum constructions of residuated semigroups, in: Proceedings of the 19\(^{{\rm th}}\)International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Stellenbosch, South Africa, Springer, Heidelberg, 2013, pp.73

29. Jenei, S., Group representation for even and odd involutive commutative residuated chains, arXiv:1910.01404, 2019.

30. Jenei, S. Amalgamation and densification in classes of involutive commutative residuated lattices, arXiv:2012.14181, 2020.

31. Jenei, S., The Hahn embedding theorem for a class of residuated semigroups, Studia Logica 108(6):1161–1206, 2020.

    Article  Google Scholar 

32. Jenei, S., Correction to: The Hahn embedding theorem for a class of residuated semigroups, Studia Logica 109(4):887–901 2021.

33. Jipsen, P., and F. Montagna, Embedding theorems for classes of GBL-algebras, Journal of Pure and Applied Algebra, 214:1559–1575, 2010.

    Article  Google Scholar 

34. Kühr, J., Representable pseudo-BCK-algebras and integral residuated lattices, Journal of Algebra 317 (1):354–364, 2007.

    Article  Google Scholar 

35. Lawson, M. V., Inverse Semigroups: The Theory of Partial Symmetries, World Scientific Publishing Company, 1998.

36. Lawson, J., Fifty Years of Topological Algebra, Seminar Sophus Lie XXXIV, Workshop in honor of Karl Hofmann’s 75th Birthday, Darmstadt, October 5-6, 2007.

37. Liu, L. and X. Zhang, States on finite linearly ordered IMTL-algebras, Soft Computing 15:2021–2028, 2011.

    Article  Google Scholar 

38. Metcalfe, G., Proof Theory for Propositional Fuzzy Logics, PhD thesis, King’s College London 2003.

39. Metcalfe, G., and F. Montagna, Substructural fuzzy logics, Journal of Symbolic Logic 72 (3):834–864, 2007.

    Article  Google Scholar 

40. Meyer, R. K., and J. K. Slaney, Abelian logic (from A to Z), in G. Presist, R. Routley and J. Norman, (eds.), Paraconsistent Logic: Essays on the Inconsistent, Philosophia, Munich, 1989, pp. 245–288.

    Chapter  Google Scholar 

41. Montagna, F., and C. Tsinakis, Ordered groups with a conucleus, Journal of Pure and Applied Algebra 21481:71–88, 2010.

42. Mostert, P. S., and A. L. Shields, On the structure of semigroups on a compact manifold with boundary, Annals of Mathematics 65:117–143, 1957.

    Article  Google Scholar 

43. Mundici, D., Interpretation of AF \(\text{ C}^*\)-algebras in Lukasiewicz sentential calculus, Journal of Functional Analysis 65 (1):15–63, 1986.

    Article  Google Scholar 

44. Noguera, C., F. Esteva, and J. Gispert, On Some Varieties of MTL-algebras, Logic Journal of the IGPL 13(4):443–466, 2005.

    Article  Google Scholar 

45. Noguera, C., F. Esteva, J. Gispert, Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Archive for Mathematical Logic 44:869–886, 2005.

    Article  Google Scholar 

46. Olson, J. S., Free representable idempotent commutative residuated lattices, International Journal of Algebra and Computation 18(8):1365–1394, 2008.

    Article  Google Scholar 

47. Paoli, F., M. Spinks, and R. Verodd, Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties, Logica Universalis 2(2):209–233, 2008.

    Article  Google Scholar 

48. Plonka, J., On a method of construction of algebras, Fundamenta Mathematicae 61(2):183–189, 1967.

    Article  Google Scholar 

49. Puhlmann, H., The snack powerdomain for database semantics, in: A. M. Borzyszkowski, and S. Sokolowski, (eds.,) Mathematical Foundations of Computer Science, Springer, Berlin, 1993, pp. 650–659

    Google Scholar 

50. Raftery, J. G., Representable idempotent commutative residuated lattices, Transactions of the American Mathematical Society 359:4405–4427, 2007.

    Article  Google Scholar 

51. Saitô, T., Ordered inverse semigroups, Transactions of the American Mathematical Society 153:99–138, 1971.

    Article  Google Scholar 

52. Wang, S., A Proof of the Standard Completeness for the Involutive Uninorm Logic, Symmetry 11:445, 2019.

    Article  Google Scholar 

Download references