|
|||||
|
|
Falsification-Aware Semantics and Sequent Calculi for Classical Logic |
|
| Authors: | Kamide Norihiro |
| Abstract: | Journal of Philosophical Logic - In this study, falsification-aware semantics and sequent calculi for first-order classical logic are introduced and investigated. These semantics and sequent... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |