共 11 条
- [11] Van Bendegem J, 1993, 1ST INT S GODELS THE, P61
Inconsistent models of arithmetic .1. Finite models
被引：30
作者：
Priest, G
机构：
[1] Department of Philosophy, University of Queensland, Brisbane
关键词：
Model Theory;
Paraconsistent Logic;
Finite Model;
Order Arithmetic;
Inconsistent Model;
D O I：
10.1023/A:1004251506208
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ;
010105 ;
摘要：
The paper concerns interpretations of the paraconsistent logic LP which model theories properly containing all the sentences of first order arithmetic. The paper demonstrates the existence of such models and provides a complete taxonomy of the finite ones.
引用
收藏
页码：223 / 235
页数：13
相关论文