Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248890745> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4248890745 endingPage "680" @default.
- W4248890745 startingPage "665" @default.
- W4248890745 abstract "Relevance logic began in an attempt to avoid the so-called fallacies of relevance. These fallacies can be in implicational form or in deductive form. For example, Lewis's first paradox can beset a system in implicational form, in that the system contains as a theorem the formula ( A & ∼ A ) → B ; or it can beset it in deductive form, in that the system allows one to deduce B from the premisses A , ∼ A . Relevance logic in the tradition of Anderson and Belnap has been almost exclusively concerned with characterizing a relevant conditional . Thus it has attacked the problem of relevance in its implicational form. Accordingly for a relevant conditional → one would not have as a theorem the formula ( A & ∼ A ) → B . Other theorems even of minimal logic would also be lacking. Perhaps most important among these is the formula ( A → ( B → A )). It is also a well-known feature of their system R that it lacks the intuitionistically valid formula (( A ∨ B ) & ∼ A ) → B (disjunctive syllogism). But it is not the case that any relevance logic worth the title even has to concern itself with the conditional, and hence with the problem in its implicational form. The problem arises even for a system without the conditional primitive. It would still be an exercise in relevance logic, broadly construed, to formulate a deductive system free of the fallacies of relevance in deductive form even if this were done in a language whose only connectives were, say, &, ∨ and ∼. Solving the problem of relevance in this more basic deductive form is arguably a precondition for solving it for the conditional, if we suppose (as is reasonable) that the relevant conditional is to be governed by anything like the rule of conditional proof." @default.
- W4248890745 created "2022-05-12" @default.
- W4248890745 creator A5051746616 @default.
- W4248890745 date "1987-09-01" @default.
- W4248890745 modified "2023-10-17" @default.
- W4248890745 title "Natural deduction and sequent calculus for intuitionistic relevant logic" @default.
- W4248890745 cites W1973501176 @default.
- W4248890745 cites W1977433338 @default.
- W4248890745 cites W2084080545 @default.
- W4248890745 cites W2563706116 @default.
- W4248890745 doi "https://doi.org/10.2307/2274355" @default.
- W4248890745 hasPublicationYear "1987" @default.
- W4248890745 type Work @default.
- W4248890745 citedByCount "7" @default.
- W4248890745 countsByYear W42488907452013 @default.
- W4248890745 countsByYear W42488907452015 @default.
- W4248890745 countsByYear W42488907452023 @default.
- W4248890745 crossrefType "journal-article" @default.
- W4248890745 hasAuthorship W4248890745A5051746616 @default.
- W4248890745 hasConcept C108710211 @default.
- W4248890745 hasConcept C111472728 @default.
- W4248890745 hasConcept C11413529 @default.
- W4248890745 hasConcept C118615104 @default.
- W4248890745 hasConcept C131598440 @default.
- W4248890745 hasConcept C136119220 @default.
- W4248890745 hasConcept C138885662 @default.
- W4248890745 hasConcept C154945302 @default.
- W4248890745 hasConcept C158154518 @default.
- W4248890745 hasConcept C17744445 @default.
- W4248890745 hasConcept C178421362 @default.
- W4248890745 hasConcept C199343813 @default.
- W4248890745 hasConcept C199539241 @default.
- W4248890745 hasConcept C202444582 @default.
- W4248890745 hasConcept C206880738 @default.
- W4248890745 hasConcept C2524010 @default.
- W4248890745 hasConcept C2777686260 @default.
- W4248890745 hasConcept C33923547 @default.
- W4248890745 hasConcept C41008148 @default.
- W4248890745 hasConcept C62073222 @default.
- W4248890745 hasConcept C65880906 @default.
- W4248890745 hasConcept C69562738 @default.
- W4248890745 hasConcept C71924100 @default.
- W4248890745 hasConcept C85343465 @default.
- W4248890745 hasConcept C89421646 @default.
- W4248890745 hasConcept C97364631 @default.
- W4248890745 hasConceptScore W4248890745C108710211 @default.
- W4248890745 hasConceptScore W4248890745C111472728 @default.
- W4248890745 hasConceptScore W4248890745C11413529 @default.
- W4248890745 hasConceptScore W4248890745C118615104 @default.
- W4248890745 hasConceptScore W4248890745C131598440 @default.
- W4248890745 hasConceptScore W4248890745C136119220 @default.
- W4248890745 hasConceptScore W4248890745C138885662 @default.
- W4248890745 hasConceptScore W4248890745C154945302 @default.
- W4248890745 hasConceptScore W4248890745C158154518 @default.
- W4248890745 hasConceptScore W4248890745C17744445 @default.
- W4248890745 hasConceptScore W4248890745C178421362 @default.
- W4248890745 hasConceptScore W4248890745C199343813 @default.
- W4248890745 hasConceptScore W4248890745C199539241 @default.
- W4248890745 hasConceptScore W4248890745C202444582 @default.
- W4248890745 hasConceptScore W4248890745C206880738 @default.
- W4248890745 hasConceptScore W4248890745C2524010 @default.
- W4248890745 hasConceptScore W4248890745C2777686260 @default.
- W4248890745 hasConceptScore W4248890745C33923547 @default.
- W4248890745 hasConceptScore W4248890745C41008148 @default.
- W4248890745 hasConceptScore W4248890745C62073222 @default.
- W4248890745 hasConceptScore W4248890745C65880906 @default.
- W4248890745 hasConceptScore W4248890745C69562738 @default.
- W4248890745 hasConceptScore W4248890745C71924100 @default.
- W4248890745 hasConceptScore W4248890745C85343465 @default.
- W4248890745 hasConceptScore W4248890745C89421646 @default.
- W4248890745 hasConceptScore W4248890745C97364631 @default.
- W4248890745 hasIssue "3" @default.
- W4248890745 hasLocation W42488907451 @default.
- W4248890745 hasOpenAccess W4248890745 @default.
- W4248890745 hasPrimaryLocation W42488907451 @default.
- W4248890745 hasRelatedWork W1573739954 @default.
- W4248890745 hasRelatedWork W2187857876 @default.
- W4248890745 hasRelatedWork W2617588251 @default.
- W4248890745 hasRelatedWork W2732055457 @default.
- W4248890745 hasRelatedWork W2790333035 @default.
- W4248890745 hasRelatedWork W2961141088 @default.
- W4248890745 hasRelatedWork W2969539880 @default.
- W4248890745 hasRelatedWork W3150713206 @default.
- W4248890745 hasRelatedWork W4248890745 @default.
- W4248890745 hasRelatedWork W2726597256 @default.
- W4248890745 hasVolume "52" @default.
- W4248890745 isParatext "false" @default.
- W4248890745 isRetracted "false" @default.
- W4248890745 workType "article" @default.