Weak implicative filters in quasi-ordered residuated systems
DOI:
https://doi.org/10.22199/issn.0717-6279-4332Keywords:
Quasi-ordered residuated relational system, Filter, Implicative filter, Weak implicative filterAbstract
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 = 〈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 and implicative filters in this type of algebraic structures. In this article, the concept of weak implicative filters in a quasi-ordered residuated system is introduced as a continuation of previous researches. Also, some conditions for a filter of such system to be a weak implicative filter are listed.
References
S. Bonzio, "Algebraic structures from quantum and fuzzy logics", PhD Thesis, Università degli studi di Cagliari, 2016. [On line]. Available: https://bit.ly/3bUmb5N
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
D. A. Romano, “Implicative filters in quasi-ordered residuated system”, Proyecciones (Antofagasta), vol. 40, no. 2, pp. 417-424, 2021, doi: 10.22199/issn.0717-6279-2021-02-0025
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.
Published
How to Cite
Issue
Section
Copyright (c) 2021 Daniel Romano
This work is licensed under a Creative Commons Attribution 4.0 International License.
-
Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.