E-resources
Peer reviewed
-
Kamide, Norihiro
Journal of philosophical logic, 02/2022, Volume: 51, Issue: 1Journal Article
In this study, falsification-aware semantics and sequent calculi for first-order classical logic are introduced and investigated. These semantics and sequent calculi are constructed based on a falsification-aware setting for first-order Nelson constructive three-valued logic (N3). In fact, these semantics and sequent calculi are regarded as those for a classical variant of N3 (i.e., a classical variant of N3 is identical to first-order classical logic). The completeness and cut-elimination theorems for the proposed semantics and sequent calculi are proved using Schütte’s method. Similar results for the propositional case are also obtained.
