Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras

The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic). However, this algebra structure does not have enough character...

Full description

Bibliographic Details
Main Authors: Xiaohong Zhang, Xiangyu Ma, Xuejiao Wang
Format: Article
Language:English
Published: MDPI AG 2020-09-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/8/9/1513