Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022780544> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3022780544 abstract "The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra. The logics are the objects in our categories of logics; the morphisms are certain signature morphisms that are translations between logics (cite{AFLM1},cite{AFLM2},cite{AFLM3} cite{FC}). Morphisms between algebraizable logics (cite{BP}) are translations that preserves algebraizing pairs (cite{MaMe}): they can be completely encoded by certain functors defined on the quasi-variety canonically associated to the algebraizable logics. This kind of results will be useful in the development of a categorial approach to the representation theory of general logics (cite{MaPi1}, cite{MaPi2}, cite{AJMP})." @default.
- W3022780544 created "2020-05-13" @default.
- W3022780544 creator A5058241090 @default.
- W3022780544 creator A5082094963 @default.
- W3022780544 date "2015-01-01" @default.
- W3022780544 modified "2023-09-26" @default.
- W3022780544 title "Algebraizable logics and a functorial encoding of its morphisms" @default.
- W3022780544 hasPublicationYear "2015" @default.
- W3022780544 type Work @default.
- W3022780544 sameAs 3022780544 @default.
- W3022780544 citedByCount "0" @default.
- W3022780544 crossrefType "journal-article" @default.
- W3022780544 hasAuthorship W3022780544A5058241090 @default.
- W3022780544 hasAuthorship W3022780544A5082094963 @default.
- W3022780544 hasConcept C105795698 @default.
- W3022780544 hasConcept C118615104 @default.
- W3022780544 hasConcept C136119220 @default.
- W3022780544 hasConcept C136197465 @default.
- W3022780544 hasConcept C137212723 @default.
- W3022780544 hasConcept C154945302 @default.
- W3022780544 hasConcept C156772000 @default.
- W3022780544 hasConcept C17744445 @default.
- W3022780544 hasConcept C199539241 @default.
- W3022780544 hasConcept C202444582 @default.
- W3022780544 hasConcept C2524010 @default.
- W3022780544 hasConcept C25343380 @default.
- W3022780544 hasConcept C2776359362 @default.
- W3022780544 hasConcept C2778003309 @default.
- W3022780544 hasConcept C2779696439 @default.
- W3022780544 hasConcept C33923547 @default.
- W3022780544 hasConcept C41008148 @default.
- W3022780544 hasConcept C42011625 @default.
- W3022780544 hasConcept C5263885 @default.
- W3022780544 hasConcept C58166 @default.
- W3022780544 hasConcept C77088390 @default.
- W3022780544 hasConcept C86602344 @default.
- W3022780544 hasConcept C94625758 @default.
- W3022780544 hasConceptScore W3022780544C105795698 @default.
- W3022780544 hasConceptScore W3022780544C118615104 @default.
- W3022780544 hasConceptScore W3022780544C136119220 @default.
- W3022780544 hasConceptScore W3022780544C136197465 @default.
- W3022780544 hasConceptScore W3022780544C137212723 @default.
- W3022780544 hasConceptScore W3022780544C154945302 @default.
- W3022780544 hasConceptScore W3022780544C156772000 @default.
- W3022780544 hasConceptScore W3022780544C17744445 @default.
- W3022780544 hasConceptScore W3022780544C199539241 @default.
- W3022780544 hasConceptScore W3022780544C202444582 @default.
- W3022780544 hasConceptScore W3022780544C2524010 @default.
- W3022780544 hasConceptScore W3022780544C25343380 @default.
- W3022780544 hasConceptScore W3022780544C2776359362 @default.
- W3022780544 hasConceptScore W3022780544C2778003309 @default.
- W3022780544 hasConceptScore W3022780544C2779696439 @default.
- W3022780544 hasConceptScore W3022780544C33923547 @default.
- W3022780544 hasConceptScore W3022780544C41008148 @default.
- W3022780544 hasConceptScore W3022780544C42011625 @default.
- W3022780544 hasConceptScore W3022780544C5263885 @default.
- W3022780544 hasConceptScore W3022780544C58166 @default.
- W3022780544 hasConceptScore W3022780544C77088390 @default.
- W3022780544 hasConceptScore W3022780544C86602344 @default.
- W3022780544 hasConceptScore W3022780544C94625758 @default.
- W3022780544 hasLocation W30227805441 @default.
- W3022780544 hasOpenAccess W3022780544 @default.
- W3022780544 hasPrimaryLocation W30227805441 @default.
- W3022780544 hasRelatedWork W119460310 @default.
- W3022780544 hasRelatedWork W1745548216 @default.
- W3022780544 hasRelatedWork W1792540887 @default.
- W3022780544 hasRelatedWork W1976522453 @default.
- W3022780544 hasRelatedWork W2045317759 @default.
- W3022780544 hasRelatedWork W2095327196 @default.
- W3022780544 hasRelatedWork W2144927799 @default.
- W3022780544 hasRelatedWork W2157110814 @default.
- W3022780544 hasRelatedWork W2186838455 @default.
- W3022780544 hasRelatedWork W2254360806 @default.
- W3022780544 hasRelatedWork W2271549422 @default.
- W3022780544 hasRelatedWork W2277554116 @default.
- W3022780544 hasRelatedWork W2301491978 @default.
- W3022780544 hasRelatedWork W2394505873 @default.
- W3022780544 hasRelatedWork W2399689774 @default.
- W3022780544 hasRelatedWork W2400853373 @default.
- W3022780544 hasRelatedWork W2515410204 @default.
- W3022780544 hasRelatedWork W267765877 @default.
- W3022780544 hasRelatedWork W2916923377 @default.
- W3022780544 hasRelatedWork W2967804267 @default.
- W3022780544 isParatext "false" @default.
- W3022780544 isRetracted "false" @default.
- W3022780544 magId "3022780544" @default.
- W3022780544 workType "article" @default.