Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385707973> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4385707973 abstract "Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the possibility of using it as a type theory, in the same kind of way intuitionistic logic is often used as a type theory. Our proof system is not Tennant’s own, but it is very closely related, and determines the same consequence relation. The difference, however, matters for our purposes, and we discuss this. We then turn to the question of strong normalization, showing that although Tennant’s proof system for core logic is not strongly normalizing, our modified system is." @default.
- W4385707973 created "2023-08-10" @default.
- W4385707973 creator A5007740136 @default.
- W4385707973 creator A5028770196 @default.
- W4385707973 creator A5081440698 @default.
- W4385707973 date "2023-08-09" @default.
- W4385707973 modified "2023-09-27" @default.
- W4385707973 title "Core Type Theory" @default.
- W4385707973 cites W1528233644 @default.
- W4385707973 cites W159820227 @default.
- W4385707973 cites W1921642287 @default.
- W4385707973 cites W1971210176 @default.
- W4385707973 cites W1982596434 @default.
- W4385707973 cites W2054162580 @default.
- W4385707973 cites W2083316690 @default.
- W4385707973 cites W2093705378 @default.
- W4385707973 cites W2328394552 @default.
- W4385707973 cites W2503383364 @default.
- W4385707973 cites W2770391921 @default.
- W4385707973 cites W2794412309 @default.
- W4385707973 cites W3111235101 @default.
- W4385707973 cites W4210927669 @default.
- W4385707973 cites W4230715677 @default.
- W4385707973 cites W4248890745 @default.
- W4385707973 cites W4384697083 @default.
- W4385707973 doi "https://doi.org/10.18778/0138-0680.2023.19" @default.
- W4385707973 hasPublicationYear "2023" @default.
- W4385707973 type Work @default.
- W4385707973 citedByCount "0" @default.
- W4385707973 crossrefType "journal-article" @default.
- W4385707973 hasAuthorship W4385707973A5007740136 @default.
- W4385707973 hasAuthorship W4385707973A5028770196 @default.
- W4385707973 hasAuthorship W4385707973A5081440698 @default.
- W4385707973 hasBestOaLocation W43857079731 @default.
- W4385707973 hasConcept C108710211 @default.
- W4385707973 hasConcept C111472728 @default.
- W4385707973 hasConcept C118615104 @default.
- W4385707973 hasConcept C124101348 @default.
- W4385707973 hasConcept C136886441 @default.
- W4385707973 hasConcept C138885662 @default.
- W4385707973 hasConcept C144024400 @default.
- W4385707973 hasConcept C178421362 @default.
- W4385707973 hasConcept C18903297 @default.
- W4385707973 hasConcept C19165224 @default.
- W4385707973 hasConcept C199343813 @default.
- W4385707973 hasConcept C2164484 @default.
- W4385707973 hasConcept C2524010 @default.
- W4385707973 hasConcept C25343380 @default.
- W4385707973 hasConcept C2777299769 @default.
- W4385707973 hasConcept C2777686260 @default.
- W4385707973 hasConcept C33923547 @default.
- W4385707973 hasConcept C39387531 @default.
- W4385707973 hasConcept C41008148 @default.
- W4385707973 hasConcept C62073222 @default.
- W4385707973 hasConcept C69562738 @default.
- W4385707973 hasConcept C71924100 @default.
- W4385707973 hasConcept C76155785 @default.
- W4385707973 hasConcept C86803240 @default.
- W4385707973 hasConcept C93682546 @default.
- W4385707973 hasConceptScore W4385707973C108710211 @default.
- W4385707973 hasConceptScore W4385707973C111472728 @default.
- W4385707973 hasConceptScore W4385707973C118615104 @default.
- W4385707973 hasConceptScore W4385707973C124101348 @default.
- W4385707973 hasConceptScore W4385707973C136886441 @default.
- W4385707973 hasConceptScore W4385707973C138885662 @default.
- W4385707973 hasConceptScore W4385707973C144024400 @default.
- W4385707973 hasConceptScore W4385707973C178421362 @default.
- W4385707973 hasConceptScore W4385707973C18903297 @default.
- W4385707973 hasConceptScore W4385707973C19165224 @default.
- W4385707973 hasConceptScore W4385707973C199343813 @default.
- W4385707973 hasConceptScore W4385707973C2164484 @default.
- W4385707973 hasConceptScore W4385707973C2524010 @default.
- W4385707973 hasConceptScore W4385707973C25343380 @default.
- W4385707973 hasConceptScore W4385707973C2777299769 @default.
- W4385707973 hasConceptScore W4385707973C2777686260 @default.
- W4385707973 hasConceptScore W4385707973C33923547 @default.
- W4385707973 hasConceptScore W4385707973C39387531 @default.
- W4385707973 hasConceptScore W4385707973C41008148 @default.
- W4385707973 hasConceptScore W4385707973C62073222 @default.
- W4385707973 hasConceptScore W4385707973C69562738 @default.
- W4385707973 hasConceptScore W4385707973C71924100 @default.
- W4385707973 hasConceptScore W4385707973C76155785 @default.
- W4385707973 hasConceptScore W4385707973C86803240 @default.
- W4385707973 hasConceptScore W4385707973C93682546 @default.
- W4385707973 hasLocation W43857079731 @default.
- W4385707973 hasOpenAccess W4385707973 @default.
- W4385707973 hasPrimaryLocation W43857079731 @default.
- W4385707973 hasRelatedWork W1520236645 @default.
- W4385707973 hasRelatedWork W1562847240 @default.
- W4385707973 hasRelatedWork W1573371426 @default.
- W4385707973 hasRelatedWork W2029971057 @default.
- W4385707973 hasRelatedWork W2035310674 @default.
- W4385707973 hasRelatedWork W2051358061 @default.
- W4385707973 hasRelatedWork W2078790484 @default.
- W4385707973 hasRelatedWork W4362679128 @default.
- W4385707973 hasRelatedWork W4384302167 @default.
- W4385707973 hasRelatedWork W2051418522 @default.
- W4385707973 isParatext "false" @default.
- W4385707973 isRetracted "false" @default.
- W4385707973 workType "article" @default.