-
2
-
-
0038066866
-
Varieties of BL-algebras I: General properties
-
P. Aglianò and F. Montagna, Varieties of BL-algebras I: General Properties, J. Pure Appl. Algebra, 181 (2003), 129-131.
-
(2003)
J. Pure Appl. Algebra
, vol.181
, pp. 129-131
-
-
Aglianò, P.1
Montagna, F.2
-
5
-
-
0004280816
-
-
Springer-Verlag, New York, Heidelberg, Berlin
-
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, Heidelberg, Berlin, 1981.
-
(1981)
A Course in Universal Algebra
-
-
Burris, S.1
Sankappanavar, H.P.2
-
6
-
-
0042980085
-
Proper n-Valued łukasiewicz algebras as S-algebras of łukasiewicz n-Valued prepositional calculi
-
R. Cignoli, Proper n-Valued Łukasiewicz Algebras as S-algebras of Łukasiewicz n-Valued Prepositional Calculi, Stud. Log. 41 (1982), 3-16.
-
(1982)
Stud. Log.
, vol.41
, pp. 3-16
-
-
Cignoli, R.1
-
7
-
-
2442709850
-
Algebras of fuzzy logic
-
University of Buenos Aires
-
R. Cignoli, Algebras of Fuzzy Logic, Lecture Notes, University of Buenos Aires, 2000.
-
(2000)
Lecture Notes
-
-
Cignoli, R.1
-
9
-
-
0002450084
-
An algebraic analysis of product logic
-
R. Cignoli and A. Torrens, An Algebraic Analysis of Product Logic, Mult. Valued Log. 5 (2000), 45-65.
-
(2000)
Mult. Valued Log.
, vol.5
, pp. 45-65
-
-
Cignoli, R.1
Torrens, A.2
-
10
-
-
0000817320
-
Basic logic is the logic of continuous t-norms and their residua
-
R. Cignoli, F. Esteva, L. Godo and A. Torrens, Basic Logic is the logic of continuous t-norms and their residua, Soft Computing 4 (2000), 106-112.
-
(2000)
Soft Computing
, vol.4
, pp. 106-112
-
-
Cignoli, R.1
Esteva, F.2
Godo, L.3
Torrens, A.4
-
11
-
-
0038540368
-
Hájek basic fuzzy logic and łukasiewicz infinite-valued logic
-
R. Cignoli and A. Torrens, Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic, Arch. Math. Logic, 42 (2003), 361-370.
-
(2003)
Arch. Math. Logic
, vol.42
, pp. 361-370
-
-
Cignoli, R.1
Torrens, A.2
-
13
-
-
84968468755
-
Dualities for equational classes of Brouwerian algebras and heyting algebras
-
B. A. Davey, Dualities for Equational classes of Brouwerian algebras and Heyting algebras, Trans. Amer. Math. Soc. 221 (1976), 119-145.
-
(1976)
Trans. Amer. Math. Soc.
, vol.221
, pp. 119-145
-
-
Davey, B.A.1
-
14
-
-
0001826588
-
A propositional calculus with denumerable matrix
-
M. Dummett, A propositional calculus with denumerable matrix, J. Symb. Log. 24 (1959), 97-106.
-
(1959)
J. Symb. Log.
, vol.24
, pp. 97-106
-
-
Dummett, M.1
-
16
-
-
0000673538
-
Basic fuzzy logic and BL-algebras
-
P. Hájek, Basic fuzzy logic and BL-algebras, Soft Computing 2 (1998), 124-128.
-
(1998)
Soft Computing
, vol.2
, pp. 124-128
-
-
Hájek, P.1
-
17
-
-
0000323648
-
Logic with truth values in a linearly ordered Heyting algebra
-
A. Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symb. Log. 34 (1969), 395-408.
-
(1969)
J. Symb. Log.
, vol.34
, pp. 395-408
-
-
Horn, A.1
-
18
-
-
0142205490
-
A survey of Residuated Lattices
-
J. Martinez, Editor, Kluwer Academic Publishers, Dordrech
-
P. Jipsen and C. Tsinakis, A survey of Residuated Lattices. In: Ordered Algebraic Structures (J. Martinez, Editor), Kluwer Academic Publishers, Dordrech, 2002, pp. 19-56.
-
(2002)
Ordered Algebraic Structures
, pp. 19-56
-
-
Jipsen, P.1
Tsinakis, C.2
-
19
-
-
0011573169
-
Linéarisation de la logique positive de Hilbert Bernays
-
A. Monteiro, Linéarisation de la logique positive de Hilbert Bernays, Revista Un. Mat. Argentina 20 (1962), 308-309.
-
(1962)
Revista Un. Mat. Argentina
, vol.20
, pp. 308-309
-
-
Monteiro, A.1
-
20
-
-
0012990453
-
Wajsberg algebras and post algebras
-
A. J. Rodriguez and A. Torrens, Wajsberg Algebras and Post Algebras, Stud. Log. 53 (1994), 1-19.
-
(1994)
Stud. Log.
, vol.53
, pp. 1-19
-
-
Rodriguez, A.J.1
Torrens, A.2
|