|
|||||
|
|
Embedding Friendly First-Order Paradefinite and Connexive Logics |
|
| Authors: | Kamide Norihiro |
| Institution: | 1.Faculty of Science and Engineering, Department of Information and Electronic Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi, 320-8551, Japan ; |
| Abstract: | Journal of Philosophical Logic - First-order intuitionistic and classical Nelson–Wansing and Arieli–Avron–Zamansky logics, which are regarded as paradefinite and connexive logics,... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |