RESOLUTION FOR MANY-VALUED LOGICS

被引：0

作者：

MORGAN, CG

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：199 / 200

页数：2

共 50 条

[1] Classical Resolution for Many-Valued Logics
[J]. 1600, Elsevier B.V., Netherlands (323):
[2] CERES in many-valued logics
Baaz, M
Leitsch, A
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 1 - 20
[3] GENERALIZED MANY-VALUED LOGICS
MARQUETT.A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 419 - 419
[4] Paraconsistentization and many-valued logics
De Souza, Edelcio G.
Costa-Leite, Alexandre
Dias, Diogo H. B.
[J]. LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 76 - 93
[5] ON INTUITIONISTIC MANY-VALUED LOGICS
HANAZAWA, M
TAKANO, M
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1986, 38 (03) : 409 - 419
[6] Complexity of many-valued logics
Hähnle, R
[J]. BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 211 - 233
[7] Calculi for Many-Valued Logics
Kaminski, Michael
Francez, Nissim
[J]. LOGICA UNIVERSALIS, 2021, 15 (02) : 193 - 226
[8] Calculi for Many-Valued Logics
Michael Kaminski
Nissim Francez
[J]. Logica Universalis, 2021, 15 : 193 - 226
[9] MANY-VALUED LOGICS AND THEIR ALGEBRAS
ANSHAKOV, OM
RYCHKOV, SV
[J]. RUSSIAN MATHEMATICAL SURVEYS, 1990, 45 (06) : 139 - 140
[10] MODELS OF MANY-VALUED LOGICS
FLETCHER, TJ
[J]. AMERICAN MATHEMATICAL MONTHLY, 1963, 70 (04): : 381 - &