Monadic NM-algebras
Jun Tao Wang, Xiao Long Xin, Peng Fei He

TL;DR
This paper introduces monadic NM-algebras, explores their properties, and establishes their role as algebraic models for monadic predicate NM logic, including representation and completeness results.
Contribution
It provides the first comprehensive study of monadic NM-algebras, linking them to monadic predicate NM logic and related algebraic structures.
Findings
Characterization of simple and subdirectly irreducible monadic NM-algebras
Representation theorem for monadic NM-algebras
Proof of chain completeness for monadic NM-logic
Abstract
In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show that the variety of monadic NM-algebras faithfully the axioms on quantifiers in monadic predicate NM logic. Furthermore, we discuss relations between monadic NM-algebras and some related structures, likeness modal NM-algebras and rough approximation spaces. In addition, we investigate monadic filters in monadic NM-algebras. In particular, we characterize simple and subdirectly irreducible monadic NM-algebras and obtain a representation theorem for monadic NM-algebras. Finally, we present monadic NM-logic and prove the (chain) completeness of monadic NM-logic based on monadic NM-algebras. These results constitute a crucial first step for providing a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
