A note on the decidability of a strong relevant logic |
| |
Authors: | Harry Deutsch |
| |
Institution: | (1) Illinois State University, USA |
| |
Abstract: | A modified filtrations argument is used to prove that the relevant logic S of 2] is decidable. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|