Open AccessA Classification of Improper Inference Rules
Author(s) -
Katsumi Sasaki
Publication year - 2022
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.2022.12
Subject(s) - sequent , rule of inference , inference , computer science , propositional calculus , proof calculus , natural deduction , sequent calculus , artificial intelligence , mathematics , programming language , geometry , mathematical proof