Matches in SemOpenAlex for { <https://semopenalex.org/work/W4306177943> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4306177943 abstract "We extend the standard framework of abstract algebraic logic to the setting of logics which are not closed under uniform substitution. We introduce the notion of weak logics as consequence relations closed under limited forms of substitutions and we give a modified definition of algebraizability that preserves the uniqueness of the equivalent algebraic semantics of algebraizable logics. We provide several results for this novel framework, in particular a connection between the algebraizability of a weak logic and the standard algebraizability of its schematic fragment. We apply this framework to the context of logics defined over team semantics and we show that the classical version of inquisitive and dependence logic is algebraizable, while their intuitionistic versions are not." @default.
- W4306177943 created "2022-10-14" @default.
- W4306177943 creator A5038013406 @default.
- W4306177943 creator A5089571446 @default.
- W4306177943 date "2022-10-12" @default.
- W4306177943 modified "2023-10-16" @default.
- W4306177943 title "Algebraizable Weak Logics" @default.
- W4306177943 doi "https://doi.org/10.48550/arxiv.2210.06047" @default.
- W4306177943 hasPublicationYear "2022" @default.
- W4306177943 type Work @default.
- W4306177943 citedByCount "0" @default.
- W4306177943 crossrefType "posted-content" @default.
- W4306177943 hasAuthorship W4306177943A5038013406 @default.
- W4306177943 hasAuthorship W4306177943A5089571446 @default.
- W4306177943 hasBestOaLocation W43061779431 @default.
- W4306177943 hasConcept C102993220 @default.
- W4306177943 hasConcept C11413529 @default.
- W4306177943 hasConcept C118615104 @default.
- W4306177943 hasConcept C127413603 @default.
- W4306177943 hasConcept C13355873 @default.
- W4306177943 hasConcept C134306372 @default.
- W4306177943 hasConcept C136119220 @default.
- W4306177943 hasConcept C151730666 @default.
- W4306177943 hasConcept C154945302 @default.
- W4306177943 hasConcept C160131679 @default.
- W4306177943 hasConcept C184337299 @default.
- W4306177943 hasConcept C1883856 @default.
- W4306177943 hasConcept C192328126 @default.
- W4306177943 hasConcept C199360897 @default.
- W4306177943 hasConcept C202444582 @default.
- W4306177943 hasConcept C24326235 @default.
- W4306177943 hasConcept C2524010 @default.
- W4306177943 hasConcept C2776235265 @default.
- W4306177943 hasConcept C2777021972 @default.
- W4306177943 hasConcept C2778220771 @default.
- W4306177943 hasConcept C2779343474 @default.
- W4306177943 hasConcept C2779729104 @default.
- W4306177943 hasConcept C32241873 @default.
- W4306177943 hasConcept C33203268 @default.
- W4306177943 hasConcept C33923547 @default.
- W4306177943 hasConcept C41008148 @default.
- W4306177943 hasConcept C42011625 @default.
- W4306177943 hasConcept C5263885 @default.
- W4306177943 hasConcept C58166 @default.
- W4306177943 hasConcept C80444323 @default.
- W4306177943 hasConcept C86602344 @default.
- W4306177943 hasConcept C86803240 @default.
- W4306177943 hasConcept C9376300 @default.
- W4306177943 hasConcept C98224912 @default.
- W4306177943 hasConceptScore W4306177943C102993220 @default.
- W4306177943 hasConceptScore W4306177943C11413529 @default.
- W4306177943 hasConceptScore W4306177943C118615104 @default.
- W4306177943 hasConceptScore W4306177943C127413603 @default.
- W4306177943 hasConceptScore W4306177943C13355873 @default.
- W4306177943 hasConceptScore W4306177943C134306372 @default.
- W4306177943 hasConceptScore W4306177943C136119220 @default.
- W4306177943 hasConceptScore W4306177943C151730666 @default.
- W4306177943 hasConceptScore W4306177943C154945302 @default.
- W4306177943 hasConceptScore W4306177943C160131679 @default.
- W4306177943 hasConceptScore W4306177943C184337299 @default.
- W4306177943 hasConceptScore W4306177943C1883856 @default.
- W4306177943 hasConceptScore W4306177943C192328126 @default.
- W4306177943 hasConceptScore W4306177943C199360897 @default.
- W4306177943 hasConceptScore W4306177943C202444582 @default.
- W4306177943 hasConceptScore W4306177943C24326235 @default.
- W4306177943 hasConceptScore W4306177943C2524010 @default.
- W4306177943 hasConceptScore W4306177943C2776235265 @default.
- W4306177943 hasConceptScore W4306177943C2777021972 @default.
- W4306177943 hasConceptScore W4306177943C2778220771 @default.
- W4306177943 hasConceptScore W4306177943C2779343474 @default.
- W4306177943 hasConceptScore W4306177943C2779729104 @default.
- W4306177943 hasConceptScore W4306177943C32241873 @default.
- W4306177943 hasConceptScore W4306177943C33203268 @default.
- W4306177943 hasConceptScore W4306177943C33923547 @default.
- W4306177943 hasConceptScore W4306177943C41008148 @default.
- W4306177943 hasConceptScore W4306177943C42011625 @default.
- W4306177943 hasConceptScore W4306177943C5263885 @default.
- W4306177943 hasConceptScore W4306177943C58166 @default.
- W4306177943 hasConceptScore W4306177943C80444323 @default.
- W4306177943 hasConceptScore W4306177943C86602344 @default.
- W4306177943 hasConceptScore W4306177943C86803240 @default.
- W4306177943 hasConceptScore W4306177943C9376300 @default.
- W4306177943 hasConceptScore W4306177943C98224912 @default.
- W4306177943 hasLocation W43061779431 @default.
- W4306177943 hasOpenAccess W4306177943 @default.
- W4306177943 hasPrimaryLocation W43061779431 @default.
- W4306177943 hasRelatedWork W1485990531 @default.
- W4306177943 hasRelatedWork W1968826078 @default.
- W4306177943 hasRelatedWork W2006614341 @default.
- W4306177943 hasRelatedWork W2125129162 @default.
- W4306177943 hasRelatedWork W2471253858 @default.
- W4306177943 hasRelatedWork W3032338208 @default.
- W4306177943 hasRelatedWork W4306177943 @default.
- W4306177943 hasRelatedWork W563158778 @default.
- W4306177943 hasRelatedWork W77555893 @default.
- W4306177943 hasRelatedWork W96926976 @default.
- W4306177943 isParatext "false" @default.
- W4306177943 isRetracted "false" @default.
- W4306177943 workType "article" @default.