Implicative filters in quasi-ordered residuated system




Quasi-ordered residuated system, Implicative filter in quasi-ordered residuated system


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.


E. Bonzio, "Algebraic structures from quantum and fuzzy logics", PhD Thesis, Università degli studi di Cagliari, 2016. [On line]. Available:

S. Bonzio and I. Chajda, ‚ÄúResiduated relational systems‚ÄĚ, Asian-European journal of mathematics, vol. 11, no. 2, Art ID. 1850024, 2018, doi: 10.1142/S1793557118500249

B. J√≥nsson and A. Tarski, ‚ÄúRepresentation problems for relation algebras‚ÄĚ [Abstract], in Bulletin of the American Mathematical Society, 1948, vol. 54, no. 1, p. 80, doi: 10.1090/S0002-9904-1948-08948-0

R. D. Maddux, ‚ÄúThe origin of relation algebras in the development and axiomatization of the calculus of relations‚ÄĚ, Studia logica, vol. 50, no. 3, pp. 421-455, 1991, doi: 10.1007/BF00370681

D. A. Romano, ‚ÄúFilters in residuated relational system ordered under quasi-order‚ÄĚ, Bulletin International Mathematics Virtual Institute, vol. 10, no. 3, pp. 529-534, 2020, doi: 10.7251/BIMVI2003529R

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.



How to Cite

D. Romano, ‚ÄúImplicative filters in quasi-ordered residuated system‚ÄĚ, Proyecciones (Antofagasta, On line), vol. 40, no. 2, pp. 417-424, Mar. 2021.