Embedding Friendly First-Order Paradefinite and Connexive Logics |
| |
Authors: | Kamide Norihiro |
| |
Affiliation: | 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 等数据库收录! |
|