Matches in SemOpenAlex for { <https://semopenalex.org/work/W2434886887> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2434886887 abstract "In this paper, we give a possible characterisation of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show the distributivity is first-order definable on bi-approximation semantics. In addition, we shall investigate the dual representation of those structures and compare them with biapproximation semantics for intuitionistic logic. We shall also discuss that two different methods to validate the distributivity by the splitters and by the adjointness can be explicated with help of the Axiom of Choice as well." @default.
- W2434886887 created "2016-06-24" @default.
- W2434886887 creator A5010099815 @default.
- W2434886887 date "2016-01-01" @default.
- W2434886887 modified "2023-09-25" @default.
- W2434886887 title "The Distributivity on Bi-Approximation Semantics" @default.
- W2434886887 cites W1519705629 @default.
- W2434886887 cites W1989314289 @default.
- W2434886887 cites W2017093277 @default.
- W2434886887 cites W2028286472 @default.
- W2434886887 cites W2054761820 @default.
- W2434886887 cites W2065613054 @default.
- W2434886887 cites W2093397547 @default.
- W2434886887 cites W2127214596 @default.
- W2434886887 cites W2169981414 @default.
- W2434886887 cites W2170803400 @default.
- W2434886887 doi "https://doi.org/10.1215/00294527-3542442" @default.
- W2434886887 hasPublicationYear "2016" @default.
- W2434886887 type Work @default.
- W2434886887 sameAs 2434886887 @default.
- W2434886887 citedByCount "1" @default.
- W2434886887 countsByYear W24348868872014 @default.
- W2434886887 crossrefType "journal-article" @default.
- W2434886887 hasAuthorship W2434886887A5010099815 @default.
- W2434886887 hasBestOaLocation W24348868872 @default.
- W2434886887 hasConcept C11821877 @default.
- W2434886887 hasConcept C118615104 @default.
- W2434886887 hasConcept C136119220 @default.
- W2434886887 hasConcept C136137745 @default.
- W2434886887 hasConcept C138390121 @default.
- W2434886887 hasConcept C151730666 @default.
- W2434886887 hasConcept C167729594 @default.
- W2434886887 hasConcept C17744445 @default.
- W2434886887 hasConcept C184337299 @default.
- W2434886887 hasConcept C199360897 @default.
- W2434886887 hasConcept C199539241 @default.
- W2434886887 hasConcept C202444582 @default.
- W2434886887 hasConcept C2524010 @default.
- W2434886887 hasConcept C2776359362 @default.
- W2434886887 hasConcept C33923547 @default.
- W2434886887 hasConcept C41008148 @default.
- W2434886887 hasConcept C77928131 @default.
- W2434886887 hasConcept C86803240 @default.
- W2434886887 hasConcept C94625758 @default.
- W2434886887 hasConceptScore W2434886887C11821877 @default.
- W2434886887 hasConceptScore W2434886887C118615104 @default.
- W2434886887 hasConceptScore W2434886887C136119220 @default.
- W2434886887 hasConceptScore W2434886887C136137745 @default.
- W2434886887 hasConceptScore W2434886887C138390121 @default.
- W2434886887 hasConceptScore W2434886887C151730666 @default.
- W2434886887 hasConceptScore W2434886887C167729594 @default.
- W2434886887 hasConceptScore W2434886887C17744445 @default.
- W2434886887 hasConceptScore W2434886887C184337299 @default.
- W2434886887 hasConceptScore W2434886887C199360897 @default.
- W2434886887 hasConceptScore W2434886887C199539241 @default.
- W2434886887 hasConceptScore W2434886887C202444582 @default.
- W2434886887 hasConceptScore W2434886887C2524010 @default.
- W2434886887 hasConceptScore W2434886887C2776359362 @default.
- W2434886887 hasConceptScore W2434886887C33923547 @default.
- W2434886887 hasConceptScore W2434886887C41008148 @default.
- W2434886887 hasConceptScore W2434886887C77928131 @default.
- W2434886887 hasConceptScore W2434886887C86803240 @default.
- W2434886887 hasConceptScore W2434886887C94625758 @default.
- W2434886887 hasLocation W24348868871 @default.
- W2434886887 hasLocation W24348868872 @default.
- W2434886887 hasOpenAccess W2434886887 @default.
- W2434886887 hasPrimaryLocation W24348868871 @default.
- W2434886887 hasRelatedWork W1483648153 @default.
- W2434886887 hasRelatedWork W1516073242 @default.
- W2434886887 hasRelatedWork W1667900866 @default.
- W2434886887 hasRelatedWork W1899545329 @default.
- W2434886887 hasRelatedWork W1972762933 @default.
- W2434886887 hasRelatedWork W1978139582 @default.
- W2434886887 hasRelatedWork W1982333555 @default.
- W2434886887 hasRelatedWork W1996986360 @default.
- W2434886887 hasRelatedWork W1998187354 @default.
- W2434886887 hasRelatedWork W2008274967 @default.
- W2434886887 hasRelatedWork W2061319273 @default.
- W2434886887 hasRelatedWork W2075589039 @default.
- W2434886887 hasRelatedWork W2148798252 @default.
- W2434886887 hasRelatedWork W2276045936 @default.
- W2434886887 hasRelatedWork W2345233330 @default.
- W2434886887 hasRelatedWork W2559154662 @default.
- W2434886887 hasRelatedWork W2892215877 @default.
- W2434886887 hasRelatedWork W3154940237 @default.
- W2434886887 hasRelatedWork W3188738353 @default.
- W2434886887 hasRelatedWork W3203933509 @default.
- W2434886887 isParatext "false" @default.
- W2434886887 isRetracted "false" @default.
- W2434886887 magId "2434886887" @default.
- W2434886887 workType "article" @default.