Socratic Proofs |
| |
Authors: | Wiśniewski Andrzej |
| |
Affiliation: | (1) Institute of Philosophy University of Zielona Góra Wojska Polskiego, 71a 65-762 Zielona Góra, Poland |
| |
Abstract: | Journal of Philosophical Logic - Our aim is to express in exact terms the old idea of solving problems by pure questioning. We consider the problem of derivability: “Is A derivable from... |
| |
Keywords: | logic of questions proof search sequent calculi |
本文献已被 SpringerLink 等数据库收录! |
|