FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2724233642> ?p ?o ?g. }

• W2724233642 abstract "In this study, a new logic called the connexive paraconsistent quantum logic is introduced as a common denominator of a paraconsistent logic and a quantum logic. A natural deduction system for this logic is introduced, and the weak normalization theorem for this system is shown. A typed lambda calculus for the implication-negation fragment of this logic is developed on the basis of the Curry-Howard correspondence. The strong normalization theorem for this calculus is proved." @default.
• W2724233642 created "2017-07-14" @default.
• W2724233642 creator A5008824087 @default.
• W2724233642 date "2017-05-01" @default.
• W2724233642 modified "2023-09-26" @default.
• W2724233642 title "Natural Deduction for Connexive Paraconsistent Quantum Logic" @default.
• W2724233642 cites W117160360 @default.
• W2724233642 cites W1551308710 @default.
• W2724233642 cites W2001483956 @default.
• W2724233642 cites W2012790009 @default.
• W2724233642 cites W2023605209 @default.
• W2724233642 cites W2051375518 @default.
• W2724233642 cites W2086657019 @default.
• W2724233642 cites W2094396660 @default.
• W2724233642 cites W2126414330 @default.
• W2724233642 cites W245987618 @default.
• W2724233642 cites W2594264882 @default.
• W2724233642 cites W2889368085 @default.
• W2724233642 cites W3126996113 @default.
• W2724233642 doi "https://doi.org/10.1109/ismvl.2017.12" @default.
• W2724233642 hasPublicationYear "2017" @default.
• W2724233642 type Work @default.
• W2724233642 sameAs 2724233642 @default.
• W2724233642 citedByCount "0" @default.
• W2724233642 crossrefType "proceedings-article" @default.
• W2724233642 hasAuthorship W2724233642A5008824087 @default.
• W2724233642 hasConcept C102993220 @default.
• W2724233642 hasConcept C108710211 @default.
• W2724233642 hasConcept C110039528 @default.
• W2724233642 hasConcept C118615104 @default.
• W2724233642 hasConcept C121332964 @default.
• W2724233642 hasConcept C136119220 @default.
• W2724233642 hasConcept C150889026 @default.
• W2724233642 hasConcept C165801399 @default.
• W2724233642 hasConcept C16796852 @default.
• W2724233642 hasConcept C169460222 @default.
• W2724233642 hasConcept C169896238 @default.
• W2724233642 hasConcept C172385210 @default.
• W2724233642 hasConcept C178421362 @default.
• W2724233642 hasConcept C19689857 @default.
• W2724233642 hasConcept C199343813 @default.
• W2724233642 hasConcept C199360897 @default.
• W2724233642 hasConcept C202444582 @default.
• W2724233642 hasConcept C203659156 @default.
• W2724233642 hasConcept C2185349 @default.
• W2724233642 hasConcept C2524010 @default.
• W2724233642 hasConcept C2777686260 @default.
• W2724233642 hasConcept C2777796570 @default.
• W2724233642 hasConcept C32241873 @default.
• W2724233642 hasConcept C33923547 @default.
• W2724233642 hasConcept C41008148 @default.
• W2724233642 hasConcept C58053490 @default.
• W2724233642 hasConcept C62073222 @default.
• W2724233642 hasConcept C62520636 @default.
• W2724233642 hasConcept C65880906 @default.
• W2724233642 hasConcept C69562738 @default.
• W2724233642 hasConcept C71924100 @default.
• W2724233642 hasConcept C80444323 @default.
• W2724233642 hasConcept C84114770 @default.
• W2724233642 hasConceptScore W2724233642C102993220 @default.
• W2724233642 hasConceptScore W2724233642C108710211 @default.
• W2724233642 hasConceptScore W2724233642C110039528 @default.
• W2724233642 hasConceptScore W2724233642C118615104 @default.
• W2724233642 hasConceptScore W2724233642C121332964 @default.
• W2724233642 hasConceptScore W2724233642C136119220 @default.
• W2724233642 hasConceptScore W2724233642C150889026 @default.
• W2724233642 hasConceptScore W2724233642C165801399 @default.
• W2724233642 hasConceptScore W2724233642C16796852 @default.
• W2724233642 hasConceptScore W2724233642C169460222 @default.
• W2724233642 hasConceptScore W2724233642C169896238 @default.
• W2724233642 hasConceptScore W2724233642C172385210 @default.
• W2724233642 hasConceptScore W2724233642C178421362 @default.
• W2724233642 hasConceptScore W2724233642C19689857 @default.
• W2724233642 hasConceptScore W2724233642C199343813 @default.
• W2724233642 hasConceptScore W2724233642C199360897 @default.
• W2724233642 hasConceptScore W2724233642C202444582 @default.
• W2724233642 hasConceptScore W2724233642C203659156 @default.
• W2724233642 hasConceptScore W2724233642C2185349 @default.
• W2724233642 hasConceptScore W2724233642C2524010 @default.
• W2724233642 hasConceptScore W2724233642C2777686260 @default.
• W2724233642 hasConceptScore W2724233642C2777796570 @default.
• W2724233642 hasConceptScore W2724233642C32241873 @default.
• W2724233642 hasConceptScore W2724233642C33923547 @default.
• W2724233642 hasConceptScore W2724233642C41008148 @default.
• W2724233642 hasConceptScore W2724233642C58053490 @default.
• W2724233642 hasConceptScore W2724233642C62073222 @default.
• W2724233642 hasConceptScore W2724233642C62520636 @default.
• W2724233642 hasConceptScore W2724233642C65880906 @default.
• W2724233642 hasConceptScore W2724233642C69562738 @default.
• W2724233642 hasConceptScore W2724233642C71924100 @default.
• W2724233642 hasConceptScore W2724233642C80444323 @default.
• W2724233642 hasConceptScore W2724233642C84114770 @default.
• W2724233642 hasLocation W27242336421 @default.
• W2724233642 hasOpenAccess W2724233642 @default.
• W2724233642 hasPrimaryLocation W27242336421 @default.
• W2724233642 hasRelatedWork W1511862481 @default.
• W2724233642 hasRelatedWork W1582221715 @default.
• W2724233642 hasRelatedWork W1942056146 @default.
• W2724233642 hasRelatedWork W1981311833 @default.
• W2724233642 hasRelatedWork W2009938424 @default.

• next