FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100037878> ?p ?o ?g. }

• W2100037878 endingPage "266" @default.
• W2100037878 startingPage "241" @default.
• W2100037878 abstract "This paper presents the algebraic and Kripke modelsoundness and completeness ofa logic over Boolean monoids. An additional axiom added to thelogic will cause the resulting monoid models to be representable as monoidsof relations. A star operator, interpreted as reflexive, transitiveclosure, is conservatively added to the logic. The star operator isa relative modal operator, i.e., one that is defined in terms ofanother modal operator. A further example, relative possibility,of this type of operator is given. A separate axiom,antilogism, added to the logic causes the Kripke models to support acollection of abstract topological uniformities which become concretewhen the Kripke models are dual to monoids of relations. The machineryfor the star operator is shownto be a recasting of Scott-Montague neighborhood models. An interpretationof the Kripke frames and properties thereof is presented in terms ofcertain CMOS transister networks and some circuit transformation equivalences.The worlds of the Kripke frame are wires and the Kripke relation is a specializedCMOS pass transistor network." @default.
• W2100037878 created "2016-06-24" @default.
• W2100037878 creator A5050457875 @default.
• W2100037878 creator A5070038296 @default.
• W2100037878 creator A5026158080 @default.
• W2100037878 date "2004-01-01" @default.
• W2100037878 modified "2023-09-27" @default.
• W2100037878 title "Logics for Classes of Boolean Monoids" @default.
• W2100037878 cites W1481365453 @default.
• W2100037878 cites W1505344996 @default.
• W2100037878 cites W1514642181 @default.
• W2100037878 cites W1527720545 @default.
• W2100037878 cites W1527995180 @default.
• W2100037878 cites W1544161016 @default.
• W2100037878 cites W1596067335 @default.
• W2100037878 cites W1992205482 @default.
• W2100037878 cites W2017096836 @default.
• W2100037878 cites W2048610309 @default.
• W2100037878 cites W2163152086 @default.
• W2100037878 cites W2610670723 @default.
• W2100037878 cites W2890735527 @default.
• W2100037878 cites W3127823229 @default.
• W2100037878 cites W3128976560 @default.
• W2100037878 cites W568516392 @default.
• W2100037878 cites W129686139 @default.
• W2100037878 doi "https://doi.org/10.1023/b:jlli.0000028336.64373.f6" @default.
• W2100037878 hasPublicationYear "2004" @default.
• W2100037878 type Work @default.
• W2100037878 sameAs 2100037878 @default.
• W2100037878 citedByCount "0" @default.
• W2100037878 crossrefType "journal-article" @default.
• W2100037878 hasAuthorship W2100037878A5026158080 @default.
• W2100037878 hasAuthorship W2100037878A5050457875 @default.
• W2100037878 hasAuthorship W2100037878A5070038296 @default.
• W2100037878 hasBestOaLocation W21000378782 @default.
• W2100037878 hasConcept C104317684 @default.
• W2100037878 hasConcept C110251889 @default.
• W2100037878 hasConcept C114092440 @default.
• W2100037878 hasConcept C11413529 @default.
• W2100037878 hasConcept C118615104 @default.
• W2100037878 hasConcept C136119220 @default.
• W2100037878 hasConcept C158448853 @default.
• W2100037878 hasConcept C160131679 @default.
• W2100037878 hasConcept C161913894 @default.
• W2100037878 hasConcept C167729594 @default.
• W2100037878 hasConcept C17020691 @default.
• W2100037878 hasConcept C178421362 @default.
• W2100037878 hasConcept C185592680 @default.
• W2100037878 hasConcept C188027245 @default.
• W2100037878 hasConcept C202444582 @default.
• W2100037878 hasConcept C206901836 @default.
• W2100037878 hasConcept C2524010 @default.
• W2100037878 hasConcept C27508121 @default.
• W2100037878 hasConcept C28077239 @default.
• W2100037878 hasConcept C33923547 @default.
• W2100037878 hasConcept C55493867 @default.
• W2100037878 hasConcept C71139939 @default.
• W2100037878 hasConcept C86339819 @default.
• W2100037878 hasConceptScore W2100037878C104317684 @default.
• W2100037878 hasConceptScore W2100037878C110251889 @default.
• W2100037878 hasConceptScore W2100037878C114092440 @default.
• W2100037878 hasConceptScore W2100037878C11413529 @default.
• W2100037878 hasConceptScore W2100037878C118615104 @default.
• W2100037878 hasConceptScore W2100037878C136119220 @default.
• W2100037878 hasConceptScore W2100037878C158448853 @default.
• W2100037878 hasConceptScore W2100037878C160131679 @default.
• W2100037878 hasConceptScore W2100037878C161913894 @default.
• W2100037878 hasConceptScore W2100037878C167729594 @default.
• W2100037878 hasConceptScore W2100037878C17020691 @default.
• W2100037878 hasConceptScore W2100037878C178421362 @default.
• W2100037878 hasConceptScore W2100037878C185592680 @default.
• W2100037878 hasConceptScore W2100037878C188027245 @default.
• W2100037878 hasConceptScore W2100037878C202444582 @default.
• W2100037878 hasConceptScore W2100037878C206901836 @default.
• W2100037878 hasConceptScore W2100037878C2524010 @default.
• W2100037878 hasConceptScore W2100037878C27508121 @default.
• W2100037878 hasConceptScore W2100037878C28077239 @default.
• W2100037878 hasConceptScore W2100037878C33923547 @default.
• W2100037878 hasConceptScore W2100037878C55493867 @default.
• W2100037878 hasConceptScore W2100037878C71139939 @default.
• W2100037878 hasConceptScore W2100037878C86339819 @default.
• W2100037878 hasIssue "3" @default.
• W2100037878 hasLocation W21000378781 @default.
• W2100037878 hasLocation W21000378782 @default.
• W2100037878 hasOpenAccess W2100037878 @default.
• W2100037878 hasPrimaryLocation W21000378781 @default.
• W2100037878 hasRelatedWork W1654394411 @default.
• W2100037878 hasRelatedWork W2024300722 @default.
• W2100037878 hasRelatedWork W2042193210 @default.
• W2100037878 hasRelatedWork W2062728934 @default.
• W2100037878 hasRelatedWork W2077061463 @default.
• W2100037878 hasRelatedWork W2271944696 @default.
• W2100037878 hasRelatedWork W2352549085 @default.
• W2100037878 hasRelatedWork W2403418519 @default.
• W2100037878 hasRelatedWork W4298195963 @default.
• W2100037878 hasRelatedWork W4366985230 @default.
• W2100037878 hasVolume "13" @default.
• W2100037878 isParatext "false" @default.

• next