FRINK Linked Data Fragments server

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

• W2052135569 endingPage "170" @default.
• W2052135569 startingPage "158" @default.
• W2052135569 abstract "In this paper we develop a natural-deduction logic which is both constructive and relevant. We use a proof-theoretic argument to justify the rules of the logic. The detailed framework we use to develop our system is modeled on that used to develop Martin-Löf's Type Theory." @default.
• W2052135569 created "2016-06-24" @default.
• W2052135569 creator A5041213077 @default.
• W2052135569 creator A5077027909 @default.
• W2052135569 date "2004-02-01" @default.
• W2052135569 modified "2023-09-27" @default.
• W2052135569 title "CHR: A Constructive Relevant Natural-deduction Logic" @default.
• W2052135569 cites W1482532876 @default.
• W2052135569 cites W1485574327 @default.
• W2052135569 cites W1528441197 @default.
• W2052135569 cites W1555080880 @default.
• W2052135569 cites W1555119247 @default.
• W2052135569 cites W1593617641 @default.
• W2052135569 cites W173246448 @default.
• W2052135569 cites W1783953041 @default.
• W2052135569 cites W1987839131 @default.
• W2052135569 cites W2051685387 @default.
• W2052135569 cites W2078334802 @default.
• W2052135569 cites W2094958055 @default.
• W2052135569 cites W2095025636 @default.
• W2052135569 cites W2134870220 @default.
• W2052135569 cites W2398588788 @default.
• W2052135569 cites W3134140253 @default.
• W2052135569 cites W3135320517 @default.
• W2052135569 cites W569543113 @default.
• W2052135569 doi "https://doi.org/10.1016/j.entcs.2003.12.011" @default.
• W2052135569 hasPublicationYear "2004" @default.
• W2052135569 type Work @default.
• W2052135569 sameAs 2052135569 @default.
• W2052135569 citedByCount "4" @default.
• W2052135569 countsByYear W20521355692013 @default.
• W2052135569 countsByYear W20521355692016 @default.
• W2052135569 crossrefType "journal-article" @default.
• W2052135569 hasAuthorship W2052135569A5041213077 @default.
• W2052135569 hasAuthorship W2052135569A5077027909 @default.
• W2052135569 hasBestOaLocation W20521355691 @default.
• W2052135569 hasConcept C108710211 @default.
• W2052135569 hasConcept C118615104 @default.
• W2052135569 hasConcept C166957645 @default.
• W2052135569 hasConcept C178421362 @default.
• W2052135569 hasConcept C185592680 @default.
• W2052135569 hasConcept C18903297 @default.
• W2052135569 hasConcept C199343813 @default.
• W2052135569 hasConcept C199360897 @default.
• W2052135569 hasConcept C202854965 @default.
• W2052135569 hasConcept C2318724 @default.
• W2052135569 hasConcept C2524010 @default.
• W2052135569 hasConcept C2776608160 @default.
• W2052135569 hasConcept C2777299769 @default.
• W2052135569 hasConcept C2777686260 @default.
• W2052135569 hasConcept C2778701210 @default.
• W2052135569 hasConcept C28077239 @default.
• W2052135569 hasConcept C33923547 @default.
• W2052135569 hasConcept C41008148 @default.
• W2052135569 hasConcept C55493867 @default.
• W2052135569 hasConcept C62073222 @default.
• W2052135569 hasConcept C65880906 @default.
• W2052135569 hasConcept C71924100 @default.
• W2052135569 hasConcept C80444323 @default.
• W2052135569 hasConcept C86803240 @default.
• W2052135569 hasConcept C93682546 @default.
• W2052135569 hasConcept C95457728 @default.
• W2052135569 hasConcept C98045186 @default.
• W2052135569 hasConcept C98184364 @default.
• W2052135569 hasConceptScore W2052135569C108710211 @default.
• W2052135569 hasConceptScore W2052135569C118615104 @default.
• W2052135569 hasConceptScore W2052135569C166957645 @default.
• W2052135569 hasConceptScore W2052135569C178421362 @default.
• W2052135569 hasConceptScore W2052135569C185592680 @default.
• W2052135569 hasConceptScore W2052135569C18903297 @default.
• W2052135569 hasConceptScore W2052135569C199343813 @default.
• W2052135569 hasConceptScore W2052135569C199360897 @default.
• W2052135569 hasConceptScore W2052135569C202854965 @default.
• W2052135569 hasConceptScore W2052135569C2318724 @default.
• W2052135569 hasConceptScore W2052135569C2524010 @default.
• W2052135569 hasConceptScore W2052135569C2776608160 @default.
• W2052135569 hasConceptScore W2052135569C2777299769 @default.
• W2052135569 hasConceptScore W2052135569C2777686260 @default.
• W2052135569 hasConceptScore W2052135569C2778701210 @default.
• W2052135569 hasConceptScore W2052135569C28077239 @default.
• W2052135569 hasConceptScore W2052135569C33923547 @default.
• W2052135569 hasConceptScore W2052135569C41008148 @default.
• W2052135569 hasConceptScore W2052135569C55493867 @default.
• W2052135569 hasConceptScore W2052135569C62073222 @default.
• W2052135569 hasConceptScore W2052135569C65880906 @default.
• W2052135569 hasConceptScore W2052135569C71924100 @default.
• W2052135569 hasConceptScore W2052135569C80444323 @default.
• W2052135569 hasConceptScore W2052135569C86803240 @default.
• W2052135569 hasConceptScore W2052135569C93682546 @default.
• W2052135569 hasConceptScore W2052135569C95457728 @default.
• W2052135569 hasConceptScore W2052135569C98045186 @default.
• W2052135569 hasConceptScore W2052135569C98184364 @default.
• W2052135569 hasLocation W20521355691 @default.
• W2052135569 hasOpenAccess W2052135569 @default.
• W2052135569 hasPrimaryLocation W20521355691 @default.
• W2052135569 hasRelatedWork W1526866688 @default.
• W2052135569 hasRelatedWork W1557149243 @default.
• W2052135569 hasRelatedWork W2052135569 @default.

• next