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 条

[1] Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
Schockaert, Steven
Janssen, Jeroen
Verrmeir, Dirk
De Cock, Martine
SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 240 - +
[2] Resolution and model building in the infinite-valued calculus of Lukasiewicz
Mundici, D
Olivetti, N
THEORETICAL COMPUTER SCIENCE, 1998, 200 (1-2) : 335 - 366
[3] On the infinite-valued Lukasiewicz logic that preserves degrees of truth
Font, Josep Maria
Gil, Angel J.
Torrens, Antoni
Verdu, Ventura
ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (07) : 839 - 868
[4] Resolution and model building in the infinite-valued calculus of Lukasiewicz
Department of Computer Science, University of Milan, Via Comelico 39-41, 20135 Milan, Italy
不详
Theor Comput Sci, 1-2 (335-366):
[5] QUANTUM LOGIC AS PARTIAL INFINITE-VALUED LUKASIEWICZ LOGIC
PYKACZ, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1995, 34 (08) : 1697 - 1710
[6] Hajek basic fuzzy logic and Lukasiewicz infinite-valued logic
Cignoli, R
Torrens, A
ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (04) : 361 - 370
[7] CONSISTENCY OF THE AXIOM OF COMPREHENSION IN THE INFINITE-VALUED PREDICATE LOGIC OF LUKASIEWICZ
WHITE, RB
JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 509 - 534
[8] Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters
Bou, Felix
40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 83 - 88
[9] FUZZY QUANTUM-LOGICS AND INFINITE-VALUED LUKASIEWICZ LOGIC
PYKACZ, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1994, 33 (07) : 1403 - 1416
[10] Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters
Bou, Felix
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 19 (1-3) : 25 - 39

← 1 2 3 →