PROPOSITIONAL LOGICS WITH STRONG NEGATION AND THE CRAIG INTERPOLATION THEOREM

被引：0

作者：

GORANKO, VF

机构：

来源：

DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE | 1985年 / 38卷 / 07期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：825 / 827

页数：3

共 10 条

[1]

Craig W., 1957, J SYMBOLIC LOGIC, P269, DOI DOI 10.2307/2963594

[2]

Czelakowski J., 1982, STUD LOGICA, V41, P329

[3]

Gabbay D., 1971, LOGIC C AMSTERDAM, P391

[4]

Maksimova L., 1977, ALGEBR LOG+, V16, P643

[5]

Maksimova L.L., 1979, ALGEBRA LOGIKA, V18, P556

[6]

RASIOWA H, 1972, B ACAD POL SCI SMAP, V20, P341

[7]

RASIOWA H, 1959, STUDIES LOGICS F MAT, P234

[8] DER INTERPOLATIONSSATZ DER INTUITIONISTISCHEN PRADIKATENLOGIK [J].

SCHUTTE, K .

[9]

Vakarelov D., 1977, STUDIA LOGICA, V36, P109

[10]

VOBOREV NN, 1952, DAN SSSR, V85, P456