Weak implicative filters in quasi-ordered residuated systems

Abstract: 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 mo...

Full description

Saved in:
Bibliographic Details
Main Author: Romano,Daniel A.
Language:English
Published: Universidad Católica del Norte, Departamento de Matemáticas 2021
Subjects:
Online Access:http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0716-09172021000300797
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Abstract: 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.