Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384696885> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4384696885 endingPage "143" @default.
- W4384696885 startingPage "109" @default.
- W4384696885 abstract "Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction." @default.
- W4384696885 created "2023-07-20" @default.
- W4384696885 creator A5009371587 @default.
- W4384696885 date "2023-06-25" @default.
- W4384696885 modified "2023-10-18" @default.
- W4384696885 title "Structural Rules in Natural Deduction with Alternatives" @default.
- W4384696885 cites W1486617783 @default.
- W4384696885 cites W159082583 @default.
- W4384696885 cites W2000871436 @default.
- W4384696885 cites W2008920425 @default.
- W4384696885 cites W2015626965 @default.
- W4384696885 cites W2054162580 @default.
- W4384696885 cites W2069664851 @default.
- W4384696885 cites W2110761831 @default.
- W4384696885 cites W2132936218 @default.
- W4384696885 cites W2145470702 @default.
- W4384696885 cites W2282573237 @default.
- W4384696885 cites W2911865844 @default.
- W4384696885 cites W4206603249 @default.
- W4384696885 cites W4298032519 @default.
- W4384696885 cites W656700481 @default.
- W4384696885 doi "https://doi.org/10.18778/0138-0680.2023.6" @default.
- W4384696885 hasPublicationYear "2023" @default.
- W4384696885 type Work @default.
- W4384696885 citedByCount "1" @default.
- W4384696885 countsByYear W43846968852023 @default.
- W4384696885 crossrefType "journal-article" @default.
- W4384696885 hasAuthorship W4384696885A5009371587 @default.
- W4384696885 hasBestOaLocation W43846968851 @default.
- W4384696885 hasConcept C108710211 @default.
- W4384696885 hasConcept C118615104 @default.
- W4384696885 hasConcept C144237770 @default.
- W4384696885 hasConcept C154945302 @default.
- W4384696885 hasConcept C166957645 @default.
- W4384696885 hasConcept C199343813 @default.
- W4384696885 hasConcept C2524010 @default.
- W4384696885 hasConcept C2776608160 @default.
- W4384696885 hasConcept C2777686260 @default.
- W4384696885 hasConcept C2780432614 @default.
- W4384696885 hasConcept C33923547 @default.
- W4384696885 hasConcept C3746660 @default.
- W4384696885 hasConcept C41008148 @default.
- W4384696885 hasConcept C62073222 @default.
- W4384696885 hasConcept C65880906 @default.
- W4384696885 hasConcept C71924100 @default.
- W4384696885 hasConcept C89421646 @default.
- W4384696885 hasConcept C95457728 @default.
- W4384696885 hasConceptScore W4384696885C108710211 @default.
- W4384696885 hasConceptScore W4384696885C118615104 @default.
- W4384696885 hasConceptScore W4384696885C144237770 @default.
- W4384696885 hasConceptScore W4384696885C154945302 @default.
- W4384696885 hasConceptScore W4384696885C166957645 @default.
- W4384696885 hasConceptScore W4384696885C199343813 @default.
- W4384696885 hasConceptScore W4384696885C2524010 @default.
- W4384696885 hasConceptScore W4384696885C2776608160 @default.
- W4384696885 hasConceptScore W4384696885C2777686260 @default.
- W4384696885 hasConceptScore W4384696885C2780432614 @default.
- W4384696885 hasConceptScore W4384696885C33923547 @default.
- W4384696885 hasConceptScore W4384696885C3746660 @default.
- W4384696885 hasConceptScore W4384696885C41008148 @default.
- W4384696885 hasConceptScore W4384696885C62073222 @default.
- W4384696885 hasConceptScore W4384696885C65880906 @default.
- W4384696885 hasConceptScore W4384696885C71924100 @default.
- W4384696885 hasConceptScore W4384696885C89421646 @default.
- W4384696885 hasConceptScore W4384696885C95457728 @default.
- W4384696885 hasIssue "2" @default.
- W4384696885 hasLocation W43846968851 @default.
- W4384696885 hasOpenAccess W4384696885 @default.
- W4384696885 hasPrimaryLocation W43846968851 @default.
- W4384696885 hasRelatedWork W1836554196 @default.
- W4384696885 hasRelatedWork W2008876986 @default.
- W4384696885 hasRelatedWork W2108922266 @default.
- W4384696885 hasRelatedWork W2160135306 @default.
- W4384696885 hasRelatedWork W2170954486 @default.
- W4384696885 hasRelatedWork W27959772 @default.
- W4384696885 hasRelatedWork W2913618622 @default.
- W4384696885 hasRelatedWork W4206913075 @default.
- W4384696885 hasRelatedWork W4309791347 @default.
- W4384696885 hasRelatedWork W4384696885 @default.
- W4384696885 hasVolume "52" @default.
- W4384696885 isParatext "false" @default.
- W4384696885 isRetracted "false" @default.
- W4384696885 workType "article" @default.