A Generalized Notion of Refutation for Gentzen Calculi*
Franz von Kutschera
DOI: 10.1080/01445340.2024.2393970
Journal: History and Philosophy of Logic
ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds
Journal Info
Journals:
ISSN 0144-5340
Quartile
Category | Quartile |
W_MULTIPLE | 3 |
Quartile(CN)
Category | Quartile |
哲学 | 3 |
哲学, 科学史与科学哲学 | 3 |
哲学, 逻辑学 | 3 |
哲学, 哲学 | 3 |