monadic filters
Recently Published Documents


TOTAL DOCUMENTS

3
(FIVE YEARS 2)

H-INDEX

0
(FIVE YEARS 0)

2022 ◽  
Author(s):  
Saeide Zahiri ◽  
Arsham Borumand Saeid

Abstract In this article, we introduce the variety of monadic MTL-algebras as MTL-algebras equipped with two monadic operators. After a study of the basic properties of this variety, we define and investigate monadic filters in monadic MTL-algebras. By using the notion of monadic filters, we prove the subdirect representation theorem of monadic MTL-algebras and characterize simple and subdirectly irreducible monadic MTL-algebras. Moreover, present monadic monoidal t-norm based logic (MMT L), a system of many valued logic capturing the tautologies of monadic MTL-algebras and prove a completeness theorem.AMS Classification: 08A72, 03G25, 03B50, 03C05.


2019 ◽  
Vol 27 (6) ◽  
pp. 812-835
Author(s):  
Juntao Wang ◽  
Pengfei He ◽  
Yanhong She

Abstract In this paper, we investigate universal and existential quantifiers on NM-algebras. The resulting class of algebras will be called monadic NM-algebras. First, we show that the variety of monadic NM-algebras is algebraic semantics of the monadic NM-predicate logic. Moreover, we discuss the relationship among monadic NM-algebras, modal NM-algebras and rough approximation spaces. Second, we introduce and investigate monadic filters in monadic NM-algebras. Using them, we prove the subdirect representation theorem of monadic NM-algebras, and characterize simple and subdirectly irreducible monadic NM-algebras. Finally, we present the monadic NM-logic and prove its (chain) completeness with respect to (strong) monadic NM-algebras. These results constitute a crucial first step for providing an algebraic foundation for the monadic NM-predicate logic.


2009 ◽  
Vol 7 (2) ◽  
Author(s):  
Manuel Abad ◽  
Cecilia Cimadamore ◽  
José Díaz Varela

AbstractIn this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.


Sign in / Sign up

Export Citation Format

Share Document