AN AXIOMATIZATION OF THE APARTNESS FRAGMENT OF THE THEORY DLO+ OF DENSE LINEAR ORDER

被引：0

作者：

UESU, T

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：453 / 475

页数：23

相关论文

共 5 条

[1]

AKABOSHI J, 1981, THESIS KYUSHU U

[2] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

[3] ON AXIOMATIZING FRAGMENTS [J].

SMORYNSKI, C .

[4]

UESU T, 1981, SPRINGER LECTURE NOT, V891, P323

[5]

UESU T, UNPUB METHOD AXIOMAT