Matches in SemOpenAlex for { <https://semopenalex.org/work/W4283382912> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4283382912 endingPage "266" @default.
- W4283382912 startingPage "243" @default.
- W4283382912 abstract "In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules." @default.
- W4283382912 created "2022-06-25" @default.
- W4283382912 creator A5045201929 @default.
- W4283382912 date "2022-06-23" @default.
- W4283382912 modified "2023-10-18" @default.
- W4283382912 title "A Classification of Improper Inference Rules" @default.
- W4283382912 cites W1985418894 @default.
- W4283382912 cites W2039977878 @default.
- W4283382912 cites W2047975379 @default.
- W4283382912 cites W2062688887 @default.
- W4283382912 cites W2069087105 @default.
- W4283382912 cites W2318589430 @default.
- W4283382912 cites W3187507382 @default.
- W4283382912 cites W3207903955 @default.
- W4283382912 cites W4238292764 @default.
- W4283382912 doi "https://doi.org/10.18778/0138-0680.2022.12" @default.
- W4283382912 hasPublicationYear "2022" @default.
- W4283382912 type Work @default.
- W4283382912 citedByCount "0" @default.
- W4283382912 crossrefType "journal-article" @default.
- W4283382912 hasAuthorship W4283382912A5045201929 @default.
- W4283382912 hasBestOaLocation W42833829121 @default.
- W4283382912 hasConcept C108710211 @default.
- W4283382912 hasConcept C154945302 @default.
- W4283382912 hasConcept C199360897 @default.
- W4283382912 hasConcept C2524010 @default.
- W4283382912 hasConcept C2776214188 @default.
- W4283382912 hasConcept C33923547 @default.
- W4283382912 hasConcept C3746660 @default.
- W4283382912 hasConcept C41008148 @default.
- W4283382912 hasConcept C62073222 @default.
- W4283382912 hasConcept C6489637 @default.
- W4283382912 hasConcept C65880906 @default.
- W4283382912 hasConcept C69562738 @default.
- W4283382912 hasConcept C89421646 @default.
- W4283382912 hasConceptScore W4283382912C108710211 @default.
- W4283382912 hasConceptScore W4283382912C154945302 @default.
- W4283382912 hasConceptScore W4283382912C199360897 @default.
- W4283382912 hasConceptScore W4283382912C2524010 @default.
- W4283382912 hasConceptScore W4283382912C2776214188 @default.
- W4283382912 hasConceptScore W4283382912C33923547 @default.
- W4283382912 hasConceptScore W4283382912C3746660 @default.
- W4283382912 hasConceptScore W4283382912C41008148 @default.
- W4283382912 hasConceptScore W4283382912C62073222 @default.
- W4283382912 hasConceptScore W4283382912C6489637 @default.
- W4283382912 hasConceptScore W4283382912C65880906 @default.
- W4283382912 hasConceptScore W4283382912C69562738 @default.
- W4283382912 hasConceptScore W4283382912C89421646 @default.
- W4283382912 hasIssue "2" @default.
- W4283382912 hasLocation W42833829121 @default.
- W4283382912 hasLocation W42833829122 @default.
- W4283382912 hasLocation W42833829123 @default.
- W4283382912 hasOpenAccess W4283382912 @default.
- W4283382912 hasPrimaryLocation W42833829121 @default.
- W4283382912 hasRelatedWork W182117412 @default.
- W4283382912 hasRelatedWork W1934227669 @default.
- W4283382912 hasRelatedWork W1975460819 @default.
- W4283382912 hasRelatedWork W2065339356 @default.
- W4283382912 hasRelatedWork W2108922266 @default.
- W4283382912 hasRelatedWork W2170954486 @default.
- W4283382912 hasRelatedWork W27959772 @default.
- W4283382912 hasRelatedWork W3043547779 @default.
- W4283382912 hasRelatedWork W4206913075 @default.
- W4283382912 hasRelatedWork W4283382912 @default.
- W4283382912 hasVolume "51" @default.
- W4283382912 isParatext "false" @default.
- W4283382912 isRetracted "false" @default.
- W4283382912 workType "article" @default.