CALCULUS WITH THE QUANTIFIER OF ELEMENTARY EQUIVALENCE

被引：0

|

作者：

PINUS, AG

机构：

来源：

SIBERIAN MATHEMATICAL JOURNAL | 1983年 / 24卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：428 / 432

页数：5

相关论文

共 50 条

[1] HANF NUMBER FOR THE CALCULUS WITH THE HARTIG QUANTIFIER
PINUS, AG
SIBERIAN MATHEMATICAL JOURNAL, 1979, 20 (02) : 315 - 316
[2] PREDICATE CALCULUS WITH FREE QUANTIFIER VARIABLES
THOMASON, RH
JOHNSON, DR
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (01) : 1 - &
[3] Quantifier elimination for elementary geometry and elementary affine geometry
Grimson, Rafael
Kuijpers, Bart
Othman, Walied
MATHEMATICAL LOGIC QUARTERLY, 2012, 58 (06) : 399 - 416
[4] Quantifier elimination in elementary set theory
Orlowska, Ewa
Szalas, Andrzej
RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 237 - 248
[5] ELEMENTARY CALCULUS
不详
EDUCATION, 1921, 41 (08): : 545 - 545
[6] CARDINALITY OF MODELS FOR THEORIES IN A CALCULUS WITH A HARTIG QUANTIFIER
PINUS, AG
SIBERIAN MATHEMATICAL JOURNAL, 1978, 19 (06) : 949 - 955
[7] RECURSION IN A QUANTIFIER VS ELEMENTARY INDUCTION
KOLAITIS, PG
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (02) : 235 - 259
[8] Equivalence and quantifier rules for logic with imperfect information
Caicedo, Xavier
Dechesne, Francien
Janssen, Theo M. V.
LOGIC JOURNAL OF THE IGPL, 2009, 17 (01) : 91 - 129
[9] ON MECHANICAL QUANTIFIER ELIMINATION FOR ELEMENTARY ALGEBRA AND GEOMETRY
ARNON, DS
MIGNOTTE, M
JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 237 - 259
[10] ELEMENTARY FUZZY CALCULUS
GOETSCHEL, R
VOXMAN, W
FUZZY SETS AND SYSTEMS, 1986, 18 (01) : 31 - 43

← 1 2 3 4 5 →