Peirce's Sequent Proofs of Distributivity

Ma, MH; Pietarinen, AV

Ma, MH (reprint author), Sun Yat Sen Univ, Inst Log & Cognit, Guangzhou, Guangdong, Peoples R China.

LOGIC AND ITS APPLICATIONS (ICLA 2017), 2017; 10119 ( ): 168

Abstract

Peirce's 1880 work on the algebra of logic resulted in a successful calculus (PC) for Boolean algebra. Its leading principle (Peirce's Rule) is that o......

Full Text Link


Links

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