PRIME DEDUCTIVE SYSTEMS AND INJECTIVE OBJECTS IN THE ALGEBRAS OF LUKASIEWICZ INFINITE-VALUED CALCULI

被引：11

作者：

GLUSCHANKOF, D

机构：

[1] UNIV BUENOS AIRES,FAC CIENCIAS EXACTAS & NAT,BUENOS AIRES,ARGENTINA

[2] UNIV PARIS 07,EQUIPE LOG MATH,F-75221 PARIS 05,FRANCE

来源：

ALGEBRA UNIVERSALIS | 1992年 / 29卷 / 03期

关键词：

D O I：

10.1007/BF01212438

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：354 / 377

页数：24

共 26 条

[11] A graded inference approach based on infinite-valued Lukasiewicz semantics
Muino, David Picado
40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 252 - 257
[12] MAXIMAL DEDUCTIVE SYSTEMS AND INJECTIVE OBJECTS IN THE CATEGORY OF HILBERT-ALGEBRAS
GLUSCHANKOF, D
TILLI, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (03): : 213 - 220
[13] Decidable and undecidable prime theories in infinite-valued logic
Mundici, D
Panti, G
ANNALS OF PURE AND APPLIED LOGIC, 2001, 108 (1-3) : 269 - 278
[14] The logical content of triangular bases of fuzzy sets in Lukasiewicz infinite-valued logic
Codara, Pietro
D'Antona, Ottavio M.
Marra, Vincenzo
FUZZY SETS AND SYSTEMS, 2014, 247 : 38 - 50
[15] A Consequence Relation for Graded Inference within the Frame of Infinite-valued Lukasiewicz Logic
Picado Muino, David
FUNDAMENTA INFORMATICAE, 2013, 123 (01) : 77 - 95
[16] Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic
Wang, Mei
LOGIC JOURNAL OF THE IGPL, 2025,
[17] A novel way to build expert systems with infinite-valued attributes
Hernando, Antonio
Galan-Garcia, Jose Luis
Aguilera-Venegas, Gabriel
AIMS MATHEMATICS, 2024, 9 (02): : 2938 - 2963
[18] Irreducible and prime deductive systems of some generalizations of BCK algebras
Walendziak, Andrzej
Journal of Multiple-Valued Logic and Soft Computing, 2020, 34 (01): : 129 - 148
[19] Irreducible and Prime Deductive Systems of Some Generalizations of BCK Algebras
Walendziak, Andrzej
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2020, 34 (1-2) : 129 - 148
[20] Distribution of computer jobs in automatic control systems on the basis of infinite-valued logic
Ainutdinov, VA
Zaitsev, KS
AUTOMATION AND REMOTE CONTROL, 2004, 65 (09) : 1496 - 1502

← 1 2 3 →