A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning

Chow, KF

Chow, KF (corresponding author), Hong Kong Polytech Univ, Hung Hom, 11 Yuk Choi Rd, Hong Kong, Peoples R China.

JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020; 29 (2): 163

Abstract

We present a Revised Projectivity Calculus (denoted RC) that extends the scope of inclusion and exclusion inferences derivable under the Projectivity ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索