Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912184087> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2912184087 endingPage "251" @default.
- W2912184087 startingPage "243" @default.
- W2912184087 abstract "We extend the notion of a first–order signature in such a way that the type constructors used to define domain and codomain of the fundamental operations are taken to be a constituent part of the signature. Using the generative power of the type constructors and the fundamental types and operations we obtain a general construction of a category of typed terms which will be called syntactic category. Functors into the category of set from a syntactic category preserving the used type constructors represent models and terms with the constant type Bool as codomain represent properties. We demonstrate that in this way propositional logic and modal logic can be generated by a uniform constructions which differ only in the used type constructors of the corresponding syntactic categories. This observation leads to the conjecture that logics can be classified by the type constructors used on the syntactic level." @default.
- W2912184087 created "2019-02-21" @default.
- W2912184087 creator A5029469194 @default.
- W2912184087 date "1998-01-01" @default.
- W2912184087 modified "2023-10-16" @default.
- W2912184087 title "Dialgebraic Logics" @default.
- W2912184087 cites W1979170753 @default.
- W2912184087 cites W2107674601 @default.
- W2912184087 cites W2164343886 @default.
- W2912184087 cites W2509920464 @default.
- W2912184087 doi "https://doi.org/10.1016/s1571-0661(04)00062-3" @default.
- W2912184087 hasPublicationYear "1998" @default.
- W2912184087 type Work @default.
- W2912184087 sameAs 2912184087 @default.
- W2912184087 citedByCount "2" @default.
- W2912184087 crossrefType "journal-article" @default.
- W2912184087 hasAuthorship W2912184087A5029469194 @default.
- W2912184087 hasBestOaLocation W29121840871 @default.
- W2912184087 hasConcept C118615104 @default.
- W2912184087 hasConcept C136119220 @default.
- W2912184087 hasConcept C156772000 @default.
- W2912184087 hasConcept C18903297 @default.
- W2912184087 hasConcept C199360897 @default.
- W2912184087 hasConcept C202444582 @default.
- W2912184087 hasConcept C2524010 @default.
- W2912184087 hasConcept C2777299769 @default.
- W2912184087 hasConcept C2779696439 @default.
- W2912184087 hasConcept C33923547 @default.
- W2912184087 hasConcept C41008148 @default.
- W2912184087 hasConcept C86803240 @default.
- W2912184087 hasConceptScore W2912184087C118615104 @default.
- W2912184087 hasConceptScore W2912184087C136119220 @default.
- W2912184087 hasConceptScore W2912184087C156772000 @default.
- W2912184087 hasConceptScore W2912184087C18903297 @default.
- W2912184087 hasConceptScore W2912184087C199360897 @default.
- W2912184087 hasConceptScore W2912184087C202444582 @default.
- W2912184087 hasConceptScore W2912184087C2524010 @default.
- W2912184087 hasConceptScore W2912184087C2777299769 @default.
- W2912184087 hasConceptScore W2912184087C2779696439 @default.
- W2912184087 hasConceptScore W2912184087C33923547 @default.
- W2912184087 hasConceptScore W2912184087C41008148 @default.
- W2912184087 hasConceptScore W2912184087C86803240 @default.
- W2912184087 hasLocation W29121840871 @default.
- W2912184087 hasOpenAccess W2912184087 @default.
- W2912184087 hasPrimaryLocation W29121840871 @default.
- W2912184087 hasRelatedWork W1982456117 @default.
- W2912184087 hasRelatedWork W1992729023 @default.
- W2912184087 hasRelatedWork W1996333803 @default.
- W2912184087 hasRelatedWork W2012849985 @default.
- W2912184087 hasRelatedWork W2019004897 @default.
- W2912184087 hasRelatedWork W2021915098 @default.
- W2912184087 hasRelatedWork W2033372704 @default.
- W2912184087 hasRelatedWork W2165986557 @default.
- W2912184087 hasRelatedWork W2234982114 @default.
- W2912184087 hasRelatedWork W2962931714 @default.
- W2912184087 hasVolume "11" @default.
- W2912184087 isParatext "false" @default.
- W2912184087 isRetracted "false" @default.
- W2912184087 magId "2912184087" @default.
- W2912184087 workType "article" @default.