|
|||||
|
|
Semi De Morgan Logic Properly Displayed |
|
| Authors: | Greco Giuseppe Liang Fei Moshier M Andrew Palmigiano Alessandra |
| Institution: | 1.School of Philosophy and Social Development, Shandong University, Jinan, China ;2.Department of Languages, Literature and Communication, Utrecht University, Utrecht, The Netherlands ;3.Chapman University, Orange, USA ;4.Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa ;5.School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands ; |
| Abstract: | Studia Logica - In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |