Maximum local classes of partial functions of infinite-valued logic

被引：0

|

作者：

Romov, B.A. ^{[1
]}

机构：

[1] Inst Avtomatiki AN Ukrainy, Kiev, Ukraine

来源：

Kibernetika i Sistemnyj Analis | 1992年 / 05期

关键词：

Formal logic;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：45 / 56

相关论文

共 50 条

[1] MAXIMAL LOCAL CLASSES OF PARTIAL FUNCTIONS OF INFINITE-VALUED LOGIC
ROMOV, BA
CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (05) : 691 - 699
[2] Maximum finitely-definable subalgebras of partial functions of infinite-valued logic
Romov, B.A.
Kibernetika i Sistemnyj Analis, 1993, (01): : 3 - 20
[3] QUANTUM LOGIC AS PARTIAL INFINITE-VALUED LUKASIEWICZ LOGIC
PYKACZ, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1995, 34 (08) : 1697 - 1710
[4] MAXIMAL FINITELY DEFINED SUBALGEBRAS OF PARTIAL FUNCTIONS OF INFINITE-VALUED LOGIC
ROMOV, BA
CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (01) : 1 - 11
[5] Finiteness in infinite-valued Łukasiewicz logic
Aguzzoli S.
Ciabattoni A.
Journal of Logic, Language and Information, 2000, 9 (1) : 5 - 29
[6] INDEPENDENT AXIOMS FOR INFINITE-VALUED LOGIC
HAY, L
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 665 - &
[7] Tableaux for Łukasiewicz Infinite-valued Logic
Nicola Olivetti
Studia Logica, 2003, 73 (1) : 81 - 111
[8] An infinite-valued semantics for logic programs with negation
Rondogiannis, P
Wadge, WW
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 456 - 467
[9] Consequence and complexity in infinite-valued logic: a survey
Marra, V
Mundici, D
ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 104 - 114
[10] Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
Schockaert, Steven
Janssen, Jeroen
Verrmeir, Dirk
De Cock, Martine
SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 240 - +

← 1 2 3 4 5 →