THE PROBLEM OF QUANTIFICATIONAL COMPLETENESS AND THE CHARACTERIZATION OF ALL PERFECT QUANTIFIERS IN 3-VALUED LOGICS

被引：0

作者：

CARNIELLI, WA ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,DEPT MATH,BERKELEY,CA 94720

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1987年 / 33卷 / 01期

关键词：

D O I：

10.1002/malq.19870330104

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：19 / 29

页数：11

共 37 条

[1] THE PROBLEM OF QUANTIFICATION COMPLETENESS AND THE CHARACTERIZATION OF ALL PERFECT QUANTIFIERS IN 3-VALUED LOGICS
CARNIELLI, WA
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1094 - 1094
[2] ON PERMUTATIONAL COMPLETENESS IN 2-VALUED AND 3-VALUED LOGICS
Mirzoyev, Rafiq J.
Sharifov, Talib K.
PROCEEDINGS OF THE INSTITUTE OF MATHEMATICS AND MECHANICS, 2005, 23 (31): : 91 - 94
[3] NATURAL 3-VALUED LOGICS - CHARACTERIZATION AND PROOF THEORY
AVRON, A
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 276 - 294
[4] A FAMILY OF 3-VALUED AUTOEPISTEMIC LOGICS
BONATTI, PA
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 549 : 28 - 37
[5] AXIOMATIZATION OF SOME 3-VALUED LOGICS
FINN, VK
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1971, (11): : 16 - &
[6] Rough Sets and 3-Valued Logics
A. Avron
B. Konikowska
Studia Logica, 2008, 90 (1) : 69 - 92
[7] COMPLETENESS OF SETS OF 3-VALUED SHEFFER FUNCTIONS
ROSE, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (06): : 481 - 483
[8] SOME 3-VALUED MODAL-LOGICS
GODDARD, L
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 204 - 204
[9] SOME REMARKS ON THE INTERPRETATION OF 3-VALUED LOGICS
CLEAVE, JP
RATIO-NEW SERIES, 1980, 22 (01): : 52 - 60
[10] SOME MODAL LOGICS BASED ON A 3-VALUED LOGIC
SEGERBERG, K
THEORIA, 1967, 33 : 53 - 71