FRINK Linked Data Fragments server

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

• W2333185877 abstract "Duality via truth is a kind of correspondence between a class of algebras and a class of relational systems (frames). These classes are viewed as two kinds of semantics for some logic: algebraic semantics and Kripke-style semantics, respectively. Having defined the notion of truth, the duality principle states that a sequent/formula is true in one semantics if and only if it is true in the other one. In consequence, the algebras and their corresponding frames express equivalent notion of truth. In this paper we develop duality via truth between modal algebras based on De Morgan lattices and their corresponding frames. Some axiomatic extensions of these algebras are considered. Basing on these results we present duality via truth between some classes of latticebased information algebras and their corresponding frames." @default.
• W2333185877 created "2016-06-24" @default.
• W2333185877 creator A5013291803 @default.
• W2333185877 date "2016-03-04" @default.
• W2333185877 modified "2023-09-27" @default.
• W2333185877 title "Duality via Truth for Information Algebras Based on De Morgan Lattices*" @default.
• W2333185877 cites W109402995 @default.
• W2333185877 cites W1485625483 @default.
• W2333185877 cites W1486834497 @default.
• W2333185877 cites W1490736403 @default.
• W2333185877 cites W1499856794 @default.
• W2333185877 cites W151443787 @default.
• W2333185877 cites W1582314147 @default.
• W2333185877 cites W1596067335 @default.
• W2333185877 cites W1787367368 @default.
• W2333185877 cites W1873158058 @default.
• W2333185877 cites W1983382657 @default.
• W2333185877 cites W1991748341 @default.
• W2333185877 cites W2061686800 @default.
• W2333185877 cites W2063947486 @default.
• W2333185877 cites W2083540301 @default.
• W2333185877 cites W2088448397 @default.
• W2333185877 cites W2091877404 @default.
• W2333185877 cites W2103565147 @default.
• W2333185877 cites W2104857632 @default.
• W2333185877 cites W2110182592 @default.
• W2333185877 cites W2140351059 @default.
• W2333185877 cites W2165063779 @default.
• W2333185877 cites W2288754511 @default.
• W2333185877 cites W2315064349 @default.
• W2333185877 cites W276045325 @default.
• W2333185877 cites W83054952 @default.
• W2333185877 cites W2467127897 @default.
• W2333185877 doi "https://doi.org/10.3233/fi-2016-1323" @default.
• W2333185877 hasPublicationYear "2016" @default.
• W2333185877 type Work @default.
• W2333185877 sameAs 2333185877 @default.
• W2333185877 citedByCount "5" @default.
• W2333185877 countsByYear W23331858772016 @default.
• W2333185877 countsByYear W23331858772017 @default.
• W2333185877 countsByYear W23331858772018 @default.
• W2333185877 countsByYear W23331858772020 @default.
• W2333185877 crossrefType "journal-article" @default.
• W2333185877 hasAuthorship W2333185877A5013291803 @default.
• W2333185877 hasConcept C118615104 @default.
• W2333185877 hasConcept C134306372 @default.
• W2333185877 hasConcept C136119220 @default.
• W2333185877 hasConcept C154945302 @default.
• W2333185877 hasConcept C160131679 @default.
• W2333185877 hasConcept C167729594 @default.
• W2333185877 hasConcept C185592680 @default.
• W2333185877 hasConcept C188027245 @default.
• W2333185877 hasConcept C202444582 @default.
• W2333185877 hasConcept C2524010 @default.
• W2333185877 hasConcept C27508121 @default.
• W2333185877 hasConcept C2777212361 @default.
• W2333185877 hasConcept C2778023678 @default.
• W2333185877 hasConcept C2779729104 @default.
• W2333185877 hasConcept C33923547 @default.
• W2333185877 hasConcept C41008148 @default.
• W2333185877 hasConcept C71139939 @default.
• W2333185877 hasConcept C9376300 @default.
• W2333185877 hasConceptScore W2333185877C118615104 @default.
• W2333185877 hasConceptScore W2333185877C134306372 @default.
• W2333185877 hasConceptScore W2333185877C136119220 @default.
• W2333185877 hasConceptScore W2333185877C154945302 @default.
• W2333185877 hasConceptScore W2333185877C160131679 @default.
• W2333185877 hasConceptScore W2333185877C167729594 @default.
• W2333185877 hasConceptScore W2333185877C185592680 @default.
• W2333185877 hasConceptScore W2333185877C188027245 @default.
• W2333185877 hasConceptScore W2333185877C202444582 @default.
• W2333185877 hasConceptScore W2333185877C2524010 @default.
• W2333185877 hasConceptScore W2333185877C27508121 @default.
• W2333185877 hasConceptScore W2333185877C2777212361 @default.
• W2333185877 hasConceptScore W2333185877C2778023678 @default.
• W2333185877 hasConceptScore W2333185877C2779729104 @default.
• W2333185877 hasConceptScore W2333185877C33923547 @default.
• W2333185877 hasConceptScore W2333185877C41008148 @default.
• W2333185877 hasConceptScore W2333185877C71139939 @default.
• W2333185877 hasConceptScore W2333185877C9376300 @default.
• W2333185877 hasLocation W23331858771 @default.
• W2333185877 hasOpenAccess W2333185877 @default.
• W2333185877 hasPrimaryLocation W23331858771 @default.
• W2333185877 hasRelatedWork W1490736403 @default.
• W2333185877 hasRelatedWork W1502914746 @default.
• W2333185877 hasRelatedWork W1546048251 @default.
• W2333185877 hasRelatedWork W1999556571 @default.
• W2333185877 hasRelatedWork W2028630116 @default.
• W2333185877 hasRelatedWork W2033236384 @default.
• W2333185877 hasRelatedWork W2104857632 @default.
• W2333185877 hasRelatedWork W2144927799 @default.
• W2333185877 hasRelatedWork W2165893511 @default.
• W2333185877 hasRelatedWork W2301491978 @default.
• W2333185877 hasRelatedWork W2481638318 @default.
• W2333185877 hasRelatedWork W2530099022 @default.
• W2333185877 hasRelatedWork W2573839715 @default.
• W2333185877 hasRelatedWork W2796288489 @default.
• W2333185877 hasRelatedWork W2892107349 @default.
• W2333185877 hasRelatedWork W2951177804 @default.
• W2333185877 hasRelatedWork W2967804267 @default.

• next