Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035905236> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2035905236 endingPage "333" @default.
- W2035905236 startingPage "313" @default.
- W2035905236 abstract "This paper deals with the algebraization of multi-signature equational logic in the context of the modern theory of categorical abstract algebraic logic. Two are the novelties compared to traditional treatments: First, interpretations between different algebraic types are handled in the object language rather than the metalanguage. Second, rather than constructing the type of the algebraizing class of algebras explicitly in an ad-hoc universal algebraic way, the whole clone is naturally constructed using categorical algebraic techniques." @default.
- W2035905236 created "2016-06-24" @default.
- W2035905236 creator A5078947872 @default.
- W2035905236 date "2004-07-01" @default.
- W2035905236 modified "2023-09-27" @default.
- W2035905236 title "Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic" @default.
- W2035905236 cites W1540355970 @default.
- W2035905236 cites W1560156849 @default.
- W2035905236 cites W1579373647 @default.
- W2035905236 cites W1847493312 @default.
- W2035905236 cites W1967899636 @default.
- W2035905236 cites W1975646155 @default.
- W2035905236 cites W1977650433 @default.
- W2035905236 cites W2005081948 @default.
- W2035905236 cites W2010883554 @default.
- W2035905236 cites W2086288211 @default.
- W2035905236 cites W2109696340 @default.
- W2035905236 cites W2112295490 @default.
- W2035905236 cites W2120713972 @default.
- W2035905236 cites W2914821813 @default.
- W2035905236 cites W2973533397 @default.
- W2035905236 cites W605364582 @default.
- W2035905236 cites W89386314 @default.
- W2035905236 doi "https://doi.org/10.1093/jigpal/12.4.313" @default.
- W2035905236 hasPublicationYear "2004" @default.
- W2035905236 type Work @default.
- W2035905236 sameAs 2035905236 @default.
- W2035905236 citedByCount "8" @default.
- W2035905236 countsByYear W20359052362018 @default.
- W2035905236 crossrefType "journal-article" @default.
- W2035905236 hasAuthorship W2035905236A5078947872 @default.
- W2035905236 hasConcept C105795698 @default.
- W2035905236 hasConcept C134306372 @default.
- W2035905236 hasConcept C136119220 @default.
- W2035905236 hasConcept C142998047 @default.
- W2035905236 hasConcept C151730666 @default.
- W2035905236 hasConcept C154564781 @default.
- W2035905236 hasConcept C154690210 @default.
- W2035905236 hasConcept C154945302 @default.
- W2035905236 hasConcept C199360897 @default.
- W2035905236 hasConcept C202444582 @default.
- W2035905236 hasConcept C2524010 @default.
- W2035905236 hasConcept C2777212361 @default.
- W2035905236 hasConcept C2779343474 @default.
- W2035905236 hasConcept C2779696439 @default.
- W2035905236 hasConcept C2779782106 @default.
- W2035905236 hasConcept C33923547 @default.
- W2035905236 hasConcept C41008148 @default.
- W2035905236 hasConcept C5274069 @default.
- W2035905236 hasConcept C86523455 @default.
- W2035905236 hasConcept C86803240 @default.
- W2035905236 hasConcept C9376300 @default.
- W2035905236 hasConceptScore W2035905236C105795698 @default.
- W2035905236 hasConceptScore W2035905236C134306372 @default.
- W2035905236 hasConceptScore W2035905236C136119220 @default.
- W2035905236 hasConceptScore W2035905236C142998047 @default.
- W2035905236 hasConceptScore W2035905236C151730666 @default.
- W2035905236 hasConceptScore W2035905236C154564781 @default.
- W2035905236 hasConceptScore W2035905236C154690210 @default.
- W2035905236 hasConceptScore W2035905236C154945302 @default.
- W2035905236 hasConceptScore W2035905236C199360897 @default.
- W2035905236 hasConceptScore W2035905236C202444582 @default.
- W2035905236 hasConceptScore W2035905236C2524010 @default.
- W2035905236 hasConceptScore W2035905236C2777212361 @default.
- W2035905236 hasConceptScore W2035905236C2779343474 @default.
- W2035905236 hasConceptScore W2035905236C2779696439 @default.
- W2035905236 hasConceptScore W2035905236C2779782106 @default.
- W2035905236 hasConceptScore W2035905236C33923547 @default.
- W2035905236 hasConceptScore W2035905236C41008148 @default.
- W2035905236 hasConceptScore W2035905236C5274069 @default.
- W2035905236 hasConceptScore W2035905236C86523455 @default.
- W2035905236 hasConceptScore W2035905236C86803240 @default.
- W2035905236 hasConceptScore W2035905236C9376300 @default.
- W2035905236 hasIssue "4" @default.
- W2035905236 hasLocation W20359052361 @default.
- W2035905236 hasOpenAccess W2035905236 @default.
- W2035905236 hasPrimaryLocation W20359052361 @default.
- W2035905236 hasRelatedWork W1506668851 @default.
- W2035905236 hasRelatedWork W1659447166 @default.
- W2035905236 hasRelatedWork W1982456117 @default.
- W2035905236 hasRelatedWork W2007735529 @default.
- W2035905236 hasRelatedWork W2069832399 @default.
- W2035905236 hasRelatedWork W2075571364 @default.
- W2035905236 hasRelatedWork W2156697727 @default.
- W2035905236 hasRelatedWork W2177703916 @default.
- W2035905236 hasRelatedWork W2608902746 @default.
- W2035905236 hasRelatedWork W3022934899 @default.
- W2035905236 hasVolume "12" @default.
- W2035905236 isParatext "false" @default.
- W2035905236 isRetracted "false" @default.
- W2035905236 magId "2035905236" @default.
- W2035905236 workType "article" @default.