SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Neural Network World

Volumn 11, Issue 6, 2001, Pages 579-594

Rational Łukasiewicz logic and DMV-algebras

(1) Gerla, Brunella a

a UNIVERSITY OF MILAN (Italy)

Author keywords

Completeness; Computational complexity; DMV algebras; Fuzzy logic; Many valued logic; Rational ukasiewicz logic

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; ERROR CORRECTION; FUZZY CONTROL; LOGIC PROGRAMMING; PROBLEM SOLVING;

MANY-VALUED (MV) ALGEBRA; MANY-VALUED LOGICS;

FUZZY SETS;

EID: 0035718625 PISSN: 12100552 EISSN: None Source Type: Journal
DOI: None Document Type: Conference Paper

Times cited : (44)

References (20)

1
- 0003817205
- PhD thesis. University of Siena, Italy
- (1998) Geometrical and Proof Theoretical Issues in Łukasiewicz propositional logics
- Aguzzoli, S.¹

2
- 0001790326
- Finiteness in infinite-valued Łukasiewicz logic
- (2000) Journal of Logic, Language and Information , vol.9 , pp. 5-29
- Aguzzoli, S.¹ Ciabattoni, A.²

3
- 0034835380
- Weierstrass approximations by Łukasiewicz formulas with one quantified variable
- IEEE Computer Society Press
- (2001) Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL) , pp. 361-366
- Aguzzoli, S.¹ Mundici, D.²

4
- 0034487156
- An algorithm for the automatic generation of a logical formula representing a control law
- (2000) Neural Network World , vol.10 , pp. 777-786
- Amato, P.¹ Porto, M.²

5
- 0033426580
- Interpolation in fuzzy logic
- (1998) Archive for Mathematical logic , vol.38 , pp. 461-489
- Baaz, M.¹ Veith, H.²

6
- 0004243841
- North-Holland Publishing Co., Amsterdam
- (1973) Model theory
- Chang, C.C.¹ Keisler, H.J.²

7
- 84968495744
- Algebraic analysis of many valued logics
- (1958) Trans. Amer. Math. Soc. , vol.88 , pp. 467-490
- Chang, C.C.¹

8
- 84968503880
- A new proof of the completeness of the Łukasiewicz axioms
- (1959) Trans. Amer. Math. Soc. , vol.93 , pp. 74-90
- Chang, C.C.¹

9
- 0003259610
- Algebraic Foundations of many-valued reasoning
- Kluwer, Dordrecht
- (2000) Trends in Logic , vol.7
- Cignoli, R.¹ D'Ottaviano, I.M.L.² Mundici, D.³

10
- 0001300571
- Representation and reticulation by quotients of MV-algebras
- (1991) Ricerche di Matematica , vol.40 , pp. 291-297
- Di Nola, A.¹

11
- 0030295791
- Coproduct MV-algebras, nonstandard reals and Riesz spaces
- (1996) Journal of Algebra , vol.185 , pp. 605-620
- Di Nola, A.¹ Lettieri, A.²

12
- 0003237949
- Metamathematics of fuzzy logic
- Kluwer, Dordrecht
- (1998) Trends in Logic
- Hájek, P.¹

13
- 0002753240
- Commutative residuated monoids
- U. Höhle and P. Klement, editors. Kluwer
- (1995) Nonclassical logic and their applications to fuzzy subsets
- Höhle, U.¹

14
- 0002141730
- A theorem about infinite-valued sentential logic
- (1951) Journal of Symbolic Logic , vol.16 , pp. 1-13
- McNaughton, R.¹

15
- 0001797805
- Interpretation of AF C*-algebras in Łukasiewicz sentential calculus
- (1986) Journal of Functional Analysis , vol.65 , pp. 15-63
- Mundici, D.¹

16
- 0023537271
- Satisfiability in many-valued sentential logic is NP-complete
- (1987) Theoretical Computer Science , vol.52 , pp. 145-153
- Mundici, D.¹

17
- 0001230644
- A constructive proof of McNaughton's Theorem in infinite-valued logics
- (1994) Journal of Symbolic Logic , vol.59 , pp. 596-602
- Mundici, D.¹

18
- 0008515118
- Decidable and undecidable prime theories in infinite-valued logic
- (2001) Annals of Pure and Applied Logic , vol.108 , pp. 269-278
- Mundici, D.¹ Panti, G.²

19
- 0001753802
- On fuzzy logic I,II,III
- (1979) Zeitschr. f. Math. Logik und Grundl. der Math. , vol.25 , pp. 45-52
- Pavelka, J.¹

20
- 84982560446
- On matrix representations of consequence operations of Łukasiewicz sentential calculi
- Reprinted in R. Wójcicki, G. Malinoski (Editors) Selected Papers on Łukasiewicz Sentential Calculi, 1977, pp. 101-111
- (1973) Zeitschr. f. Math. Logik und Grundl. der Math. , vol.19 , pp. 239-247
- Wójcicki, R.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.