A Note on Priest's Finite Inconsistent Arithmetics

J. B. Paris; N. Pathmanathan

首页> 外文期刊>Journal of Philosophical Logic >A Note on Priest's Finite Inconsistent Arithmetics

【24h】

A Note on Priest's Finite Inconsistent Arithmetics

机译：关于Priest有限不一致算法的注记

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We give a complete characterization of Priest's Finite Inconsistent Arithmetics observing that his original putative characterization included arithmetics which cannot in fact be realized.

机译：我们对Priest的有限不一致算法进行了完整的刻画，观察到他最初的假定刻画包括实际上无法实现的算术。

著录项

来源
《Journal of Philosophical Logic》 |2006年第5期|529-537|共9页
作者
J. B. Paris; N. Pathmanathan;
展开▼
作者单位

Lamb Building, School of Mathematics, The University of Manchester, Oxford Road, Manchester, M13 9PL, UK;

Lamb Building, School of Mathematics, The University of Manchester, Oxford Road, Manchester, M13 9PL, UK;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
inconsistent arithmetics; models of arithmetic; paraconsistent logic; paradox logic;

机译：不一致的算术;算术模型;超一致逻辑;悖论逻辑;

相似文献

外文文献
中文文献
专利

1. Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP [J] . Mu Kedian The Journal of Artificial Intelligence Research . 2019,第期

机译：公式没有不一致：牧师最小不一致的LP中的原子上为中心
2. Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP [J] . Kedian Mu The Journal of Artificial Intelligence Research . 2019,第7期

机译：公式没有不一致：牧师最小不一致的LP中的原子上为中心
3. A note on equality in finite-type arithmetic [J] . Benno van den Berg Mathematical logic quarterly: MLQ . 2017,第3a4期

机译：有限型算术中的平等的备注
4. Priest: A Tool to Estimate Priorities from Inconsistent Judgments [C] . Siraj Sajid, Leonelli Renzo C.B., Keane John A., IEEE International Conference on Systems, Man, and Cybernetics . 2013

机译：牧师：一种从不一致的判断中估算优先级的工具
5. The effects of reading and note-taking assignments in a university Finite Mathematics course. [D] . Maida, Paula J. 1995

机译：大学有限数学课程中阅读和笔记作业的影响。
6. A new DNA-based model for finite field arithmetic [O] . Iván Jirón, Susana Soto, Sabrina Marín, 2019

机译：基于DNA的新型有限域算术模型
7. A Note on Priest’s Finite Inconsistent Arithmetics [O] . Paris, J. B., Pathmanathan, N. 2008

机译：关于Priest的有限不一致算法的注释
8. Note on Arithmetic Codes and Arithmetic Distance [R] . Hartman, W. F. 1970

机译：关于算术代码和算术距离的注记

A Note on Priest's Finite Inconsistent Arithmetics

摘要

著录项

相似文献

相关主题

期刊订阅