|
|||||
|
|
Semantic trees for Dummett's logic LC |
|
| Authors: | Giovanna Corsi |
| Institution: | (1) Dipartimento di Filosofia, Università di Firenze, via Bolognese, 52, 50139 Firenze, Italy |
| Abstract: | The aim of this paper is to provide a decision procedure for Dummett's logic LC, such that with any given formula will be associated either a proof in a sequent calculus equivalent to LC or a finite linear Kripke countermodel. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |