Matches in SemOpenAlex for { <https://semopenalex.org/work/W2756083875> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2756083875 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 solid algebraic foundation for the monadic predicate NM logic." @default.
- W2756083875 created "2017-09-25" @default.
- W2756083875 creator A5019827695 @default.
- W2756083875 creator A5043135472 @default.
- W2756083875 creator A5056063525 @default.
- W2756083875 date "2017-09-14" @default.
- W2756083875 modified "2023-09-27" @default.
- W2756083875 title "Monadic NM-algebras" @default.
- W2756083875 cites W1483240043 @default.
- W2756083875 cites W1983382657 @default.
- W2756083875 cites W1986679906 @default.
- W2756083875 cites W2013877382 @default.
- W2756083875 cites W2023648368 @default.
- W2756083875 cites W2053408484 @default.
- W2756083875 cites W2089190954 @default.
- W2756083875 cites W2110182592 @default.
- W2756083875 cites W578709777 @default.
- W2756083875 hasPublicationYear "2017" @default.
- W2756083875 type Work @default.
- W2756083875 sameAs 2756083875 @default.
- W2756083875 citedByCount "2" @default.
- W2756083875 countsByYear W27560838752019 @default.
- W2756083875 countsByYear W27560838752020 @default.
- W2756083875 crossrefType "posted-content" @default.
- W2756083875 hasAuthorship W2756083875A5019827695 @default.
- W2756083875 hasAuthorship W2756083875A5043135472 @default.
- W2756083875 hasAuthorship W2756083875A5056063525 @default.
- W2756083875 hasConcept C102993220 @default.
- W2756083875 hasConcept C105795698 @default.
- W2756083875 hasConcept C118615104 @default.
- W2756083875 hasConcept C124656256 @default.
- W2756083875 hasConcept C136197465 @default.
- W2756083875 hasConcept C140146324 @default.
- W2756083875 hasConcept C167729594 @default.
- W2756083875 hasConcept C169896238 @default.
- W2756083875 hasConcept C17744445 @default.
- W2756083875 hasConcept C19689857 @default.
- W2756083875 hasConcept C199360897 @default.
- W2756083875 hasConcept C199539241 @default.
- W2756083875 hasConcept C2524010 @default.
- W2756083875 hasConcept C2776359362 @default.
- W2756083875 hasConcept C33923547 @default.
- W2756083875 hasConcept C41008148 @default.
- W2756083875 hasConcept C80444323 @default.
- W2756083875 hasConcept C94625758 @default.
- W2756083875 hasConceptScore W2756083875C102993220 @default.
- W2756083875 hasConceptScore W2756083875C105795698 @default.
- W2756083875 hasConceptScore W2756083875C118615104 @default.
- W2756083875 hasConceptScore W2756083875C124656256 @default.
- W2756083875 hasConceptScore W2756083875C136197465 @default.
- W2756083875 hasConceptScore W2756083875C140146324 @default.
- W2756083875 hasConceptScore W2756083875C167729594 @default.
- W2756083875 hasConceptScore W2756083875C169896238 @default.
- W2756083875 hasConceptScore W2756083875C17744445 @default.
- W2756083875 hasConceptScore W2756083875C19689857 @default.
- W2756083875 hasConceptScore W2756083875C199360897 @default.
- W2756083875 hasConceptScore W2756083875C199539241 @default.
- W2756083875 hasConceptScore W2756083875C2524010 @default.
- W2756083875 hasConceptScore W2756083875C2776359362 @default.
- W2756083875 hasConceptScore W2756083875C33923547 @default.
- W2756083875 hasConceptScore W2756083875C41008148 @default.
- W2756083875 hasConceptScore W2756083875C80444323 @default.
- W2756083875 hasConceptScore W2756083875C94625758 @default.
- W2756083875 hasLocation W27560838751 @default.
- W2756083875 hasOpenAccess W2756083875 @default.
- W2756083875 hasPrimaryLocation W27560838751 @default.
- W2756083875 hasRelatedWork W1049919373 @default.
- W2756083875 hasRelatedWork W1506703500 @default.
- W2756083875 hasRelatedWork W1506761696 @default.
- W2756083875 hasRelatedWork W1510368107 @default.
- W2756083875 hasRelatedWork W1569931690 @default.
- W2756083875 hasRelatedWork W1656302973 @default.
- W2756083875 hasRelatedWork W1888128996 @default.
- W2756083875 hasRelatedWork W1902289782 @default.
- W2756083875 hasRelatedWork W1971790152 @default.
- W2756083875 hasRelatedWork W2024122625 @default.
- W2756083875 hasRelatedWork W2033476414 @default.
- W2756083875 hasRelatedWork W2062403215 @default.
- W2756083875 hasRelatedWork W2094354112 @default.
- W2756083875 hasRelatedWork W2103476891 @default.
- W2756083875 hasRelatedWork W2108138932 @default.
- W2756083875 hasRelatedWork W2166279524 @default.
- W2756083875 hasRelatedWork W2963320933 @default.
- W2756083875 hasRelatedWork W302185782 @default.
- W2756083875 hasRelatedWork W3165176433 @default.
- W2756083875 hasRelatedWork W578409227 @default.
- W2756083875 isParatext "false" @default.
- W2756083875 isRetracted "false" @default.
- W2756083875 magId "2756083875" @default.
- W2756083875 workType "article" @default.