Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment |
| |
Authors: | Dov M Gabbay |
| |
Institution: | (1) Stanford University, USA;(2) Bar-Ilan University, Israel |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|