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 条

[21] Distribution of Computer Jobs in Automatic Control Systems on the Basis of Infinite-valued Logic
V. A. Ainutdinov
K. S. Zaitsev
Automation and Remote Control, 2004, 65 : 1496 - 1502
[22] Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Lukasiewicz Logic
Pykacz, Jaroslaw
STUDIA LOGICA, 2010, 95 (1-2) : 5 - 20
[23] Comparing Calculi for First-Order Infinite-Valued ?ukasiewicz Logic and First-Order Rational Pavelka Logic
Gerasimov, Alexander S.
LOGIC AND LOGICAL PHILOSOPHY, 2023, 32 (02) : 269 - 318
[24] DETERMINANTS IN INFINITE-VALUED LOGIC AND PROBLEMS OF LARGE-SCALE DESCRIPTION OF DISCRETE SYSTEMS.
Levin, V.I.
Automatic Control and Computer Sciences, 1976, 10 (05) : 5 - 13
[25] A THEOREM ON EXISTENCE OF PRIME FILTERS IN POST ALGEBRAS AND COMPLETENESS THEOREM FOR SOME MANY -VALUED PREDICATE CALCULI
RASIOWA, H
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1969, 17 (06): : 347 - &
[26] Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form
Gerasimov A.S.
Siberian Advances in Mathematics, 2018, 28 (2) : 79 - 100