|
|||||
|
|
Disentangling Structural Connectives or Life Without Display Property |
|
| Authors: | Drobyshevich Sergey |
| Institution: | 1.Sobolev Institute of Mathematics, Novosibirsk, Russian Federation ;2.Novosibirsk State University, Novosibirsk, Russian Federation ; |
| Abstract: | Journal of Philosophical Logic - The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |