Matches in SemOpenAlex for { <https://semopenalex.org/work/W3155010798> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3155010798 abstract "In [Tense operators on De Morgan algebras, Log. J. IGPL 22(2) (2014) 255–267], Figallo and Pelaitay introduced the notion of tense operators on De Morgan algebras. Also, other notions of tense operators on De Morgan algebras were given by Chajda and Paseka in [De Morgan algebras with tense operators, J. Mult.-Valued Logic Soft Comput. 1 (2017) 29–45; The Poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras, J. Mult.-Valued Logic Soft Comput. 31(3) (2018) 213–237; Set representation of partial dynamic De Morgan algebras, in 2016 IEEE 46th Int. Symp. Multiple-Valued Logic (IEEE Computer Society, 2016), pp. 119–124]. In this paper, we introduce a new notion of tense operators on De Morgan algebras and define the class of tense De Morgan [Formula: see text]-algebras. The main purpose of this paper is to give a discrete duality for tense De Morgan [Formula: see text]-algebras. To do this, we will extend the discrete duality given in [W. Dzik, E. Orłowska and C. van Alten, Relational Representation Theorems for Lattices with Negations: A Survey, Lecture Notes in Computer Science (2006), pp. 245–266], for De Morgan algebras." @default.
- W3155010798 created "2021-04-26" @default.
- W3155010798 creator A5038967380 @default.
- W3155010798 date "2021-04-08" @default.
- W3155010798 modified "2023-09-27" @default.
- W3155010798 title "Tense De Morgan S4-algebras" @default.
- W3155010798 cites W2052389461 @default.
- W3155010798 cites W2091877404 @default.
- W3155010798 cites W2100331856 @default.
- W3155010798 cites W2140351059 @default.
- W3155010798 cites W2315064349 @default.
- W3155010798 cites W2492451934 @default.
- W3155010798 doi "https://doi.org/10.1142/s1793557122500140" @default.
- W3155010798 hasPublicationYear "2021" @default.
- W3155010798 type Work @default.
- W3155010798 sameAs 3155010798 @default.
- W3155010798 citedByCount "3" @default.
- W3155010798 countsByYear W31550107982022 @default.
- W3155010798 countsByYear W31550107982023 @default.
- W3155010798 crossrefType "journal-article" @default.
- W3155010798 hasAuthorship W3155010798A5038967380 @default.
- W3155010798 hasConcept C102993220 @default.
- W3155010798 hasConcept C118615104 @default.
- W3155010798 hasConcept C136119220 @default.
- W3155010798 hasConcept C138885662 @default.
- W3155010798 hasConcept C154945302 @default.
- W3155010798 hasConcept C177264268 @default.
- W3155010798 hasConcept C17744445 @default.
- W3155010798 hasConcept C180645754 @default.
- W3155010798 hasConcept C194146651 @default.
- W3155010798 hasConcept C199360897 @default.
- W3155010798 hasConcept C199539241 @default.
- W3155010798 hasConcept C202444582 @default.
- W3155010798 hasConcept C203659156 @default.
- W3155010798 hasConcept C2185349 @default.
- W3155010798 hasConcept C2776359362 @default.
- W3155010798 hasConcept C2777212361 @default.
- W3155010798 hasConcept C2778023678 @default.
- W3155010798 hasConcept C33923547 @default.
- W3155010798 hasConcept C3845977 @default.
- W3155010798 hasConcept C41008148 @default.
- W3155010798 hasConcept C41895202 @default.
- W3155010798 hasConcept C80444323 @default.
- W3155010798 hasConcept C94625758 @default.
- W3155010798 hasConceptScore W3155010798C102993220 @default.
- W3155010798 hasConceptScore W3155010798C118615104 @default.
- W3155010798 hasConceptScore W3155010798C136119220 @default.
- W3155010798 hasConceptScore W3155010798C138885662 @default.
- W3155010798 hasConceptScore W3155010798C154945302 @default.
- W3155010798 hasConceptScore W3155010798C177264268 @default.
- W3155010798 hasConceptScore W3155010798C17744445 @default.
- W3155010798 hasConceptScore W3155010798C180645754 @default.
- W3155010798 hasConceptScore W3155010798C194146651 @default.
- W3155010798 hasConceptScore W3155010798C199360897 @default.
- W3155010798 hasConceptScore W3155010798C199539241 @default.
- W3155010798 hasConceptScore W3155010798C202444582 @default.
- W3155010798 hasConceptScore W3155010798C203659156 @default.
- W3155010798 hasConceptScore W3155010798C2185349 @default.
- W3155010798 hasConceptScore W3155010798C2776359362 @default.
- W3155010798 hasConceptScore W3155010798C2777212361 @default.
- W3155010798 hasConceptScore W3155010798C2778023678 @default.
- W3155010798 hasConceptScore W3155010798C33923547 @default.
- W3155010798 hasConceptScore W3155010798C3845977 @default.
- W3155010798 hasConceptScore W3155010798C41008148 @default.
- W3155010798 hasConceptScore W3155010798C41895202 @default.
- W3155010798 hasConceptScore W3155010798C80444323 @default.
- W3155010798 hasConceptScore W3155010798C94625758 @default.
- W3155010798 hasIssue "01" @default.
- W3155010798 hasLocation W31550107981 @default.
- W3155010798 hasOpenAccess W3155010798 @default.
- W3155010798 hasPrimaryLocation W31550107981 @default.
- W3155010798 hasRelatedWork W1568715102 @default.
- W3155010798 hasRelatedWork W1596105581 @default.
- W3155010798 hasRelatedWork W2057124712 @default.
- W3155010798 hasRelatedWork W2077585551 @default.
- W3155010798 hasRelatedWork W2107875783 @default.
- W3155010798 hasRelatedWork W2133232303 @default.
- W3155010798 hasRelatedWork W2913145454 @default.
- W3155010798 hasRelatedWork W4212824748 @default.
- W3155010798 hasRelatedWork W4214701509 @default.
- W3155010798 hasRelatedWork W4297797069 @default.
- W3155010798 hasVolume "15" @default.
- W3155010798 isParatext "false" @default.
- W3155010798 isRetracted "false" @default.
- W3155010798 magId "3155010798" @default.
- W3155010798 workType "article" @default.