Implicative filters in quasi-ordered residuated system

• Romano, Daniel ^[1]
  1. [1] International Mathematical Virtual Institute
• Localización: Proyecciones: Journal of Mathematics, ISSN 0716-0917, ISSN-e 0717-6279, Vol. 40, Nº. 2, 2021, págs. 417-424
• Idioma: inglés
• DOI: 10.22199/issn.0717-6279-2021-02-0025
• Enlaces
  • Texto completo
• Resumen

  • The concept of residuated relational systems ordered under a quasiorder relation was introduced in 2018 by S. Bonzio and I. Chajda as a structure 𝒜 = 〈A, ·,→, 1, R〉, where (A, ·) is a commutative monoid with the identity 1 as the top element in this ordered monoid under a quasi-order R. The author introduced and analyzed the concepts of filters in this type of algebraic structures. In this article, as a continuation of previous author’s research, the author introduced and analyzed the concept of implicative filters in quasi-ordered residuated systems.

• Referencias bibliográficas
  • E. Bonzio, "Algebraic structures from quantum and fuzzy logics", PhD Thesis, Università degli studi di Cagliari, 2016. [On line]....
  • S. Bonzio and I. Chajda, “Residuated relational systems”, Asian-European journal of mathematics, vol. 11, no. 2, Art ID. 1850024, 2018, doi:...
  • B. Jónsson and A. Tarski, “Representation problems for relation algebras” [Abstract], in Bulletin of the American Mathematical Society, 1948,...
  • R. D. Maddux, “The origin of relation algebras in the development and axiomatization of the calculus of relations”, Studia logica, vol. 50,...
  • D. A. Romano, “Filters in residuated relational system ordered under quasi-order”, Bulletin International Mathematics Virtual Institute, vol....
  • A. Tarski, “On the calculus of relations”, The journal of symbolic logic, vol. 6, no. 3, pp. 73-89, 1941, doi: 10.2307/2268577
  • A. Tarski and S. R. Givant, A formalization of set theory without variables. Providence, RI: AMS, 1987.