Two Proof Systems for Peirce Algebras

机译：皮尔斯代数的两个证明系统

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper develops and compares two tableaux-style proof systems for Peirce algebras. One is a tableau refutation proof system, the other is a proof system in the style of Rasiowa-Sikorski.

机译：本文开发并比较了Peirce代数的两种Tableaux样式证明系统。一个是表格反驳证明系统，另一个是Rasiowa-Sikorski风格的证明系统。

著录项

来源
《International Seminar on Relational Methods in Computer Science and International Workshop on Applications of Kleene Algebra; 20030512-20030517; Bad Malente; DE》|2003年|P.238-251|共14页
会议地点 Bad Malente(DE);Bad Malente(DE);Bad Malente(DE)
作者
Renate A. Schmidt; Ewa Oriowska; Ullrich Hustadt;
展开▼
作者单位

University of Manchester, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
入库时间 2022-08-26 14:16:27

相似文献

外文文献
中文文献
专利

1. Algebraic proofs for shallow water bi–Hamiltonian systems for three cocycle of the semi-direct product of Kac–Moody and Virasoro Lie algebras : Open Mathematics [J] . A. Zuevsky Open Mathematics . 2018,第1期

机译：Kac-Moody和Virasoro Lie代数的半直接乘积的三个cocycle的浅水双汉密尔顿系统的代数证明：开放数学
2. Algebra and Proof in High School: The Case of Algebraic Proof as Discovery [J] . Mara Vanina Martinez Journal of Research in Mathematics Education . 2014,第1期

机译：高中代数与证明：以代数证明为例
3. Peirce's Existential Graphs and the Proof of Pragmatism [J] . Xu Peng Cybernetics & Human Knowing . 2011,第1a2期

机译：皮尔斯的存在图与实用主义证明
4. Two Proof Systems for Peirce Algebras [C] . Renate A. Schmidt, Ewa Orlowska, Ulrich Hustadt International Seminar on Relational Methods in Computer Science . 2004

机译：两种证明系统的Peirce代数
5. Exploring the relationship between proof construction and understanding of mathematics: A case study of high school students constructing proof in algebra. [D] . Muca, Dritan. 2015

机译：探索证明建构与数学理解之间的关系：以高中生代数证明建构为例。
6. PROOF OF AN IDENTITY ON JORDAN ALGEBRAS [O] . Laurence R. Harper Jr. 1956

机译：约旦代数上的恒等性证明
7. Two proof systems for Peirce algebras [O] . Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt 2004

机译：皮尔士代数的两个证明系统
8. Peirce's Propositional Logic: From Algebra to Graphs. [R] . Valencia, V. S. 1989

机译：皮尔士的命题逻辑：从代数到图形。

Two Proof Systems for Peirce Algebras

摘要

著录项

相似文献

相关主题

期刊订阅