|
|||||
|
|
A consecutive calculus for positive relevant implication with necessity |
|
| Authors: | Nuel D Belnap Jr Anil Gupta J Michael Dunn |
| Institution: | (1) University of Pittsburgh, Pittsburgh, USA;(2) Indiana University, USA;(3) McGill University, Montreal, Canada;(4) Indiana University, USA |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |