ON THE PROOF THEORY OF INTERMEDIATE LOGIC MH - PRELIMINARY-REPORT

被引：0

作者：

SELDIN, JP

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1445 / 1446

页数：2

共 50 条

[1] ON THE PROOF THEORY OF THE INTERMEDIATE LOGIC-MH
SELDIN, JP
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 626 - 647
[2] COMPUTING EXTENSIONS OF DEFAULT LOGIC - PRELIMINARY-REPORT
ANTONIOU, G
LANGETEPE, E
SPERSCHNEIDER, V
[J]. LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 19 - 27
[3] OVERVIEW OF CODING THEORY - PRELIMINARY-REPORT
MASSEY, JL
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A328 - A328
[4] NONSTANDARD MEASURE THEORY IN ECONOMICS - PRELIMINARY-REPORT
ANDERSON, RM
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A222 - A223
[5] SPECTRAL THEORY FOR PARTIAL ISOMETRIES - PRELIMINARY-REPORT
ERDELYI, I
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A379 - A379
[6] ITERATIVE METHODS IN SIEVE THEORY - PRELIMINARY-REPORT
DIAMOND, HG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A51 - A51
[7] TOPOS THEORY AND COMPLEX ANALYSIS - PRELIMINARY-REPORT
ROUSSEAU, C
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A372 - A372
[8] RECURSION THEORY WITHOUT ADMISSIBILITY - PRELIMINARY-REPORT
FRIEDMAN, S
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A30 - A30
[9] OPERATOR THEORY AND COMPLEX GEOMETRY - PRELIMINARY-REPORT
COWEN, MJ
DOUGLAS, RG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A381 - A382
[10] THEORY OF TRUTH .1. PRELIMINARY-REPORT
KRIPKE, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 556 - 556