Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396511506> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2396511506 endingPage "493" @default.
- W2396511506 startingPage "483" @default.
- W2396511506 abstract "We notice the following slightly curious (and perhaps, slightly unexpected) logical property of the functor semantics for superintuitionistic predicate logics, contrasting with a well-known property of the usual Kripke semantics. Namely, for a category C its logic (i.e., the logic of all C-sets with the given, fixed C) in general is not reducible to cones (i.e., restrictions of C to upward closed rooted subsets of its frame representation W =Ob(C) ). Related notions and observations are discussed as well." @default.
- W2396511506 created "2016-06-24" @default.
- W2396511506 creator A5056626705 @default.
- W2396511506 date "2012-01-01" @default.
- W2396511506 modified "2023-09-26" @default.
- W2396511506 title "A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality." @default.
- W2396511506 cites W2054046573 @default.
- W2396511506 cites W2074530527 @default.
- W2396511506 cites W2083897845 @default.
- W2396511506 cites W2786921424 @default.
- W2396511506 hasPublicationYear "2012" @default.
- W2396511506 type Work @default.
- W2396511506 sameAs 2396511506 @default.
- W2396511506 citedByCount "0" @default.
- W2396511506 crossrefType "proceedings-article" @default.
- W2396511506 hasAuthorship W2396511506A5056626705 @default.
- W2396511506 hasConcept C111472728 @default.
- W2396511506 hasConcept C118615104 @default.
- W2396511506 hasConcept C136119220 @default.
- W2396511506 hasConcept C138885662 @default.
- W2396511506 hasConcept C140146324 @default.
- W2396511506 hasConcept C156772000 @default.
- W2396511506 hasConcept C17744445 @default.
- W2396511506 hasConcept C184337299 @default.
- W2396511506 hasConcept C189950617 @default.
- W2396511506 hasConcept C199360897 @default.
- W2396511506 hasConcept C199539241 @default.
- W2396511506 hasConcept C202444582 @default.
- W2396511506 hasConcept C2779913896 @default.
- W2396511506 hasConcept C33923547 @default.
- W2396511506 hasConcept C41008148 @default.
- W2396511506 hasConcept C41895202 @default.
- W2396511506 hasConceptScore W2396511506C111472728 @default.
- W2396511506 hasConceptScore W2396511506C118615104 @default.
- W2396511506 hasConceptScore W2396511506C136119220 @default.
- W2396511506 hasConceptScore W2396511506C138885662 @default.
- W2396511506 hasConceptScore W2396511506C140146324 @default.
- W2396511506 hasConceptScore W2396511506C156772000 @default.
- W2396511506 hasConceptScore W2396511506C17744445 @default.
- W2396511506 hasConceptScore W2396511506C184337299 @default.
- W2396511506 hasConceptScore W2396511506C189950617 @default.
- W2396511506 hasConceptScore W2396511506C199360897 @default.
- W2396511506 hasConceptScore W2396511506C199539241 @default.
- W2396511506 hasConceptScore W2396511506C202444582 @default.
- W2396511506 hasConceptScore W2396511506C2779913896 @default.
- W2396511506 hasConceptScore W2396511506C33923547 @default.
- W2396511506 hasConceptScore W2396511506C41008148 @default.
- W2396511506 hasConceptScore W2396511506C41895202 @default.
- W2396511506 hasLocation W23965115061 @default.
- W2396511506 hasOpenAccess W2396511506 @default.
- W2396511506 hasPrimaryLocation W23965115061 @default.
- W2396511506 hasRelatedWork W125654268 @default.
- W2396511506 hasRelatedWork W1612228220 @default.
- W2396511506 hasRelatedWork W1667825161 @default.
- W2396511506 hasRelatedWork W1817503234 @default.
- W2396511506 hasRelatedWork W1977030765 @default.
- W2396511506 hasRelatedWork W1989174627 @default.
- W2396511506 hasRelatedWork W2009834811 @default.
- W2396511506 hasRelatedWork W2010968193 @default.
- W2396511506 hasRelatedWork W2041930157 @default.
- W2396511506 hasRelatedWork W2071950040 @default.
- W2396511506 hasRelatedWork W2073362032 @default.
- W2396511506 hasRelatedWork W2151083705 @default.
- W2396511506 hasRelatedWork W2157626909 @default.
- W2396511506 hasRelatedWork W2171784431 @default.
- W2396511506 hasRelatedWork W2787226031 @default.
- W2396511506 hasRelatedWork W2810587652 @default.
- W2396511506 hasRelatedWork W3171015395 @default.
- W2396511506 hasRelatedWork W86458471 @default.
- W2396511506 hasRelatedWork W91272304 @default.
- W2396511506 hasRelatedWork W2099531305 @default.
- W2396511506 isParatext "false" @default.
- W2396511506 isRetracted "false" @default.
- W2396511506 magId "2396511506" @default.
- W2396511506 workType "article" @default.