|
|||||
|
|
A Characteristic Frame for Positive Intuitionistic and Relevance Logic |
|
| Authors: | Weiss Yale |
| Affiliation: | 1.The Saul Kripke Center, The Graduate Center, City University of New York, 365 Fifth Avenue, Room 7118, New York, NY, 10016, USA ; |
| Abstract: | Studia Logica - I show that the lattice of the positive integers ordered by division is characteristic for Urquhart’s positive semilattice relevance logic; that is, a formula is valid in... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |