Undecidability in the weak membership theories

被引：0

|

作者：

Belle, D ^{[1
]}

Parlamento, F ^{[1
]}

机构：

[1] UNIV UDINE,DIPARTIMENTO MATEMAT & INFORMAT,I-33100 UDINE,ITALY

来源：

LOGIC AND ALGEBRA | 1996年 / 180卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：327 / 337

页数：3

相关论文

共 50 条

[41] CULTURAL STUDIES AS WEAK THEORIES
Follari, Roberto A.
EPTIC, 2005, 7 (03): : 7 - 25
[42] WEAK NECESSITY AND TRUTH THEORIES
DAVIES, MK
JOURNAL OF PHILOSOPHICAL LOGIC, 1978, 7 (04) : 415 - 439
[43] Some Weak Theories of Truth
Leigh, Graham E.
Unifying the Philosophy of Truth, 2015, 36 : 281 - 292
[44] Weak Theories of Concatenation and Arithmetic
Horihata, Yoshihiro
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (02) : 203 - 222
[45] Weak theories of linear algebra
Neil Thapen
Michael Soltys
Archive for Mathematical Logic, 2005, 44 : 195 - 208
[46] Models of weak theories of truth
Mateusz Łełyk
Bartosz Wcisło
Archive for Mathematical Logic, 2017, 56 : 453 - 474
[47] GAUGE THEORIES OF WEAK INTERACTIONS
BEG, MAB
SIRLIN, A
ANNUAL REVIEW OF NUCLEAR AND PARTICLE SCIENCE, 1974, 24 : 379 - 449
[48] Models of weak theories of truth
Lelyk, Mateusz
Wcislo, Bartosz
ARCHIVE FOR MATHEMATICAL LOGIC, 2017, 56 (5-6) : 453 - 474
[49] Weak theories of linear algebra
Thapen, N
Soltys, M
ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (02) : 195 - 208
[50] Decidability of weak equational theories
Szymanski, R
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (04) : 629 - 664

← 1 2 3 4 5 →