Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300576429> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4300576429 abstract "We develop a Gentzen-style proof theory for super-Belnap logics (extensions of the four-valued Dunn-Belnap logic), expanding on an approach initiated by Pynko. We show that just like substructural logics may be understood proof-theoretically as logics which relax the structural rules of classical logic but keep its logical rules as well as the rules of Identity and Cut, super-Belnap logics may be seen as logics which relax Identity and Cut but keep the logical rules as well as the structural rules of classical logic. A generalization of the cut elimination theorem for classical propositional logic is then proved and used to establish interpolation for various super-Belnap logics. In particular, we obtain an alternative syntactic proof of a refinement of the Craig interpolation theorem for classical propositional logic discovered recently by Milne." @default.
- W4300576429 created "2022-10-03" @default.
- W4300576429 creator A5047522191 @default.
- W4300576429 date "2018-03-10" @default.
- W4300576429 modified "2023-09-30" @default.
- W4300576429 title "Cut elimination, identity elimination, and interpolation in super-Belnap logics" @default.
- W4300576429 doi "https://doi.org/10.48550/arxiv.1803.03822" @default.
- W4300576429 hasPublicationYear "2018" @default.
- W4300576429 type Work @default.
- W4300576429 citedByCount "0" @default.
- W4300576429 crossrefType "posted-content" @default.
- W4300576429 hasAuthorship W4300576429A5047522191 @default.
- W4300576429 hasBestOaLocation W43005764291 @default.
- W4300576429 hasConcept C102993220 @default.
- W4300576429 hasConcept C107038049 @default.
- W4300576429 hasConcept C108710211 @default.
- W4300576429 hasConcept C115961682 @default.
- W4300576429 hasConcept C118615104 @default.
- W4300576429 hasConcept C134306372 @default.
- W4300576429 hasConcept C136119220 @default.
- W4300576429 hasConcept C137800194 @default.
- W4300576429 hasConcept C138885662 @default.
- W4300576429 hasConcept C144760519 @default.
- W4300576429 hasConcept C154945302 @default.
- W4300576429 hasConcept C177148314 @default.
- W4300576429 hasConcept C1883856 @default.
- W4300576429 hasConcept C199343813 @default.
- W4300576429 hasConcept C202444582 @default.
- W4300576429 hasConcept C206321295 @default.
- W4300576429 hasConcept C2318724 @default.
- W4300576429 hasConcept C2524010 @default.
- W4300576429 hasConcept C2777686260 @default.
- W4300576429 hasConcept C2778355321 @default.
- W4300576429 hasConcept C32241873 @default.
- W4300576429 hasConcept C33203268 @default.
- W4300576429 hasConcept C33923547 @default.
- W4300576429 hasConcept C41008148 @default.
- W4300576429 hasConcept C42011625 @default.
- W4300576429 hasConcept C5263885 @default.
- W4300576429 hasConcept C58166 @default.
- W4300576429 hasConcept C69562738 @default.
- W4300576429 hasConcept C71924100 @default.
- W4300576429 hasConcept C80444323 @default.
- W4300576429 hasConcept C86602344 @default.
- W4300576429 hasConcept C98224912 @default.
- W4300576429 hasConceptScore W4300576429C102993220 @default.
- W4300576429 hasConceptScore W4300576429C107038049 @default.
- W4300576429 hasConceptScore W4300576429C108710211 @default.
- W4300576429 hasConceptScore W4300576429C115961682 @default.
- W4300576429 hasConceptScore W4300576429C118615104 @default.
- W4300576429 hasConceptScore W4300576429C134306372 @default.
- W4300576429 hasConceptScore W4300576429C136119220 @default.
- W4300576429 hasConceptScore W4300576429C137800194 @default.
- W4300576429 hasConceptScore W4300576429C138885662 @default.
- W4300576429 hasConceptScore W4300576429C144760519 @default.
- W4300576429 hasConceptScore W4300576429C154945302 @default.
- W4300576429 hasConceptScore W4300576429C177148314 @default.
- W4300576429 hasConceptScore W4300576429C1883856 @default.
- W4300576429 hasConceptScore W4300576429C199343813 @default.
- W4300576429 hasConceptScore W4300576429C202444582 @default.
- W4300576429 hasConceptScore W4300576429C206321295 @default.
- W4300576429 hasConceptScore W4300576429C2318724 @default.
- W4300576429 hasConceptScore W4300576429C2524010 @default.
- W4300576429 hasConceptScore W4300576429C2777686260 @default.
- W4300576429 hasConceptScore W4300576429C2778355321 @default.
- W4300576429 hasConceptScore W4300576429C32241873 @default.
- W4300576429 hasConceptScore W4300576429C33203268 @default.
- W4300576429 hasConceptScore W4300576429C33923547 @default.
- W4300576429 hasConceptScore W4300576429C41008148 @default.
- W4300576429 hasConceptScore W4300576429C42011625 @default.
- W4300576429 hasConceptScore W4300576429C5263885 @default.
- W4300576429 hasConceptScore W4300576429C58166 @default.
- W4300576429 hasConceptScore W4300576429C69562738 @default.
- W4300576429 hasConceptScore W4300576429C71924100 @default.
- W4300576429 hasConceptScore W4300576429C80444323 @default.
- W4300576429 hasConceptScore W4300576429C86602344 @default.
- W4300576429 hasConceptScore W4300576429C98224912 @default.
- W4300576429 hasLocation W43005764291 @default.
- W4300576429 hasOpenAccess W4300576429 @default.
- W4300576429 hasPrimaryLocation W43005764291 @default.
- W4300576429 hasRelatedWork W193449051 @default.
- W4300576429 hasRelatedWork W1968826078 @default.
- W4300576429 hasRelatedWork W2006614341 @default.
- W4300576429 hasRelatedWork W2085117067 @default.
- W4300576429 hasRelatedWork W2138558100 @default.
- W4300576429 hasRelatedWork W2473080212 @default.
- W4300576429 hasRelatedWork W2962686728 @default.
- W4300576429 hasRelatedWork W637989598 @default.
- W4300576429 hasRelatedWork W810602762 @default.
- W4300576429 hasRelatedWork W1578365337 @default.
- W4300576429 isParatext "false" @default.
- W4300576429 isRetracted "false" @default.
- W4300576429 workType "article" @default.