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 条

[21] 3-VALUED LOGICS - AN INTRODUCTION, A COMPARISON OF VARIOUS LOGICAL LEXICA, AND SOME PHILOSOPHICAL REMARKS
HODES, H
ANNALS OF PURE AND APPLIED LOGIC, 1989, 43 (02) : 99 - 145
[22] A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic
Robles, Gemma
Mendez, Jose M.
LOGIC JOURNAL OF THE IGPL, 2022, 30 (01) : 21 - 33
[23] ON PRE-COMPLETENESS OF A CLASS OF FUNCTIONS CORRESPONDING TO 3-VALUED LOGIC OF LUKASEVICH,J
FINN, VK
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1969, (10): : 35 - &
[24] ON VARLETS CHARACTERIZATION OF 3-VALUED LUKASIEWICZ ALGEBRAS . PRELIMINARY REPORT
CIGNOLI, R
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (04): : 661 - &
[25] THE CLASS OF ALL 3-VALUED NATURAL CONDITIONAL VARIANTS OF RM3 THAT ARE PLUMWOOD ALGEBRAS
Blanco, Jose Miguel
Lopez, Sandra M.
Recio, Marcos M.
AUSTRALASIAN JOURNAL OF LOGIC, 2023, 20 (02) : 188 - 218
[26] INDIVIDUAL-ACTUALISM AND 3-VALUED MODAL-LOGICS, .1. MODEL-THEORETIC SEMANTICS
HODES, H
JOURNAL OF PHILOSOPHICAL LOGIC, 1986, 15 (04) : 369 - 401
[27] INDIVIDUAL-ACTUALISM AND 3-VALUED MODAL-LOGICS, .2. NATURAL-DEDUCTION FORMALIZATIONS
HODES, H
JOURNAL OF PHILOSOPHICAL LOGIC, 1987, 16 (01) : 17 - 63
[28] A SIMPLE FIXED-POINT CHARACTERIZATION OF 3-VALUED STABLE MODEL SEMANTICS
BONNIER, S
NILSSON, U
NASLUND, T
INFORMATION PROCESSING LETTERS, 1991, 40 (02) : 73 - 78
[29] ON N-ALITY THEORIES IN RINGS AND THEIR LOGICAL ALGEBRAS - TRI-ALITY PRINCIPLE IN 3-VALUED LOGICS
FOSTER, AL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1950, 56 (02) : 156 - 156
[30] A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics
Robles, Gemma
Mendez, Jose M.
LOGIC JOURNAL OF THE IGPL, 2014, 22 (01) : 1 - 23

← 1 2 3 4 →