Matches in SemOpenAlex for { <https://semopenalex.org/work/W158059404> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W158059404 abstract "Boolean semantics is a version of formal semantics in which models are supposed to have algebraic, preferably Boolean, structure (Keenan and Faltz 1985). Thus for any category C there is a corresponding denotational Boolean algebra DC of possible denotations of expressions of category C. Furthermore, given that most categories are functionally related (in principle all ”major” categories are Boolean), the corresponding denotational algebras are not independent of each other. In particular the algebra DA/B has as elements functions from DB to DA. Given that functions interpreting functional expressions may satisfy various ”universal” constraints, we will usually consider just some sub-algebras of the algebra of all functions from DB to DA. An important feature of denotational algebras DC is that they are atomic. This means that any element different from the zero of the algebra contains an atom. An atom is an element which contains only itself and the zero element. Atoms of the algebra DA/B are determined by atoms and/or elements of the resulting algebraDA. Obviously the binary algebra {0, 1} has only one atom. This is the element corresponding to truth. Thus atoms of denotational algebras of functional expressions are eventually defined by truth. Let me illustrate this point by the atomicity of DA/B in the case when there are no constraints on functions from DA on DB . In this case atomicity of DA/B is inherited from the atomicity of DA. More precisely atoms of DA/B are determined by atoms of DA in the following way (Zuber 2001):" @default.
- W158059404 created "2016-06-24" @default.
- W158059404 creator A5040700592 @default.
- W158059404 date "2005-01-01" @default.
- W158059404 modified "2023-09-24" @default.
- W158059404 title "Boolean Semantics and Categorial Polyvalency" @default.
- W158059404 cites W120806328 @default.
- W158059404 cites W1537282442 @default.
- W158059404 cites W1559764842 @default.
- W158059404 cites W2020396156 @default.
- W158059404 cites W2049234900 @default.
- W158059404 cites W2057885880 @default.
- W158059404 cites W2103255605 @default.
- W158059404 cites W2115995008 @default.
- W158059404 cites W2911251560 @default.
- W158059404 hasPublicationYear "2005" @default.
- W158059404 type Work @default.
- W158059404 sameAs 158059404 @default.
- W158059404 citedByCount "1" @default.
- W158059404 crossrefType "journal-article" @default.
- W158059404 hasAuthorship W158059404A5040700592 @default.
- W158059404 hasConcept C10021369 @default.
- W158059404 hasConcept C118615104 @default.
- W158059404 hasConcept C136119220 @default.
- W158059404 hasConcept C14394260 @default.
- W158059404 hasConcept C156325763 @default.
- W158059404 hasConcept C17744445 @default.
- W158059404 hasConcept C184337299 @default.
- W158059404 hasConcept C188045909 @default.
- W158059404 hasConcept C188159880 @default.
- W158059404 hasConcept C199360897 @default.
- W158059404 hasConcept C199539241 @default.
- W158059404 hasConcept C200288055 @default.
- W158059404 hasConcept C202444582 @default.
- W158059404 hasConcept C207648694 @default.
- W158059404 hasConcept C207764348 @default.
- W158059404 hasConcept C33923547 @default.
- W158059404 hasConcept C39685927 @default.
- W158059404 hasConcept C41008148 @default.
- W158059404 hasConcept C45503250 @default.
- W158059404 hasConcept C75949130 @default.
- W158059404 hasConcept C81518389 @default.
- W158059404 hasConcept C87365073 @default.
- W158059404 hasConceptScore W158059404C10021369 @default.
- W158059404 hasConceptScore W158059404C118615104 @default.
- W158059404 hasConceptScore W158059404C136119220 @default.
- W158059404 hasConceptScore W158059404C14394260 @default.
- W158059404 hasConceptScore W158059404C156325763 @default.
- W158059404 hasConceptScore W158059404C17744445 @default.
- W158059404 hasConceptScore W158059404C184337299 @default.
- W158059404 hasConceptScore W158059404C188045909 @default.
- W158059404 hasConceptScore W158059404C188159880 @default.
- W158059404 hasConceptScore W158059404C199360897 @default.
- W158059404 hasConceptScore W158059404C199539241 @default.
- W158059404 hasConceptScore W158059404C200288055 @default.
- W158059404 hasConceptScore W158059404C202444582 @default.
- W158059404 hasConceptScore W158059404C207648694 @default.
- W158059404 hasConceptScore W158059404C207764348 @default.
- W158059404 hasConceptScore W158059404C33923547 @default.
- W158059404 hasConceptScore W158059404C39685927 @default.
- W158059404 hasConceptScore W158059404C41008148 @default.
- W158059404 hasConceptScore W158059404C45503250 @default.
- W158059404 hasConceptScore W158059404C75949130 @default.
- W158059404 hasConceptScore W158059404C81518389 @default.
- W158059404 hasConceptScore W158059404C87365073 @default.
- W158059404 hasLocation W1580594041 @default.
- W158059404 hasOpenAccess W158059404 @default.
- W158059404 hasPrimaryLocation W1580594041 @default.
- W158059404 hasRelatedWork W1858208242 @default.
- W158059404 hasRelatedWork W1977778918 @default.
- W158059404 hasRelatedWork W1998257928 @default.
- W158059404 hasRelatedWork W2000220836 @default.
- W158059404 hasRelatedWork W2011359621 @default.
- W158059404 hasRelatedWork W2022963984 @default.
- W158059404 hasRelatedWork W2026564669 @default.
- W158059404 hasRelatedWork W2055558461 @default.
- W158059404 hasRelatedWork W2072873942 @default.
- W158059404 hasRelatedWork W2091352446 @default.
- W158059404 hasRelatedWork W2376393475 @default.
- W158059404 hasRelatedWork W2381539608 @default.
- W158059404 hasRelatedWork W2489308093 @default.
- W158059404 hasRelatedWork W2593187777 @default.
- W158059404 hasRelatedWork W2806319911 @default.
- W158059404 hasRelatedWork W283524483 @default.
- W158059404 hasRelatedWork W285543028 @default.
- W158059404 hasRelatedWork W3089146403 @default.
- W158059404 hasRelatedWork W2108887947 @default.
- W158059404 hasRelatedWork W2109517606 @default.
- W158059404 isParatext "false" @default.
- W158059404 isRetracted "false" @default.
- W158059404 magId "158059404" @default.
- W158059404 workType "article" @default.