N-Valued Logics and Łukasiewicz–Moisil Algebras

Axiomathes - Tập 16 Số 1-2 - Trang 123-136 - 2006
George Georgescu

Tóm tắt

Từ khóa


Tài liệu tham khảo

Baianu, I. C., R. Brown, G. Georgescu and J. F. Glazebrook: 2006, ‘Complex Nonlinear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks’, Axiomathes (current volume)

I. C. Baianu, 1977, Bulletin of Mathematical Biology, 39, 249, 10.1007/BF02462863

G. Birkhoff, 1948, Lattice Theory

V. Boicescu, 1991, Łukasiewicz–Moisil Algebras

C. C. Chang, 1958, Transactions American Mathematical Society, 88, 467, 10.1090/S0002-9947-1958-0094302-9

C. C. Chang, 1959, Transactions American Mathematical Society, 93, 74

R. Cignoli, 2000, Soft Computing, 4, 106, 10.1007/s005000000044

Cignoli, R.: 1970. ‘Moisil Algebras’, Notas de Logica Matematica, Inst. Mat., Univ. Nacional del Sur, BahiaBlanca, No. 27

N. Bourbaki, 1964, Eléments de Mathématique, Livre II, Algébre, 4

R. Carnap, 1938, The Logical Syntax of Language

C. Ehresmann, 1965, Catégories et Structures

S. Eilenberg, 1945, Transactions American Mathematical Society, 58, 231, 10.1090/S0002-9947-1945-0013131-6

G. Georgescu, 1968, Rev. Roum. Math. Pures et Appl., 13, 337

G. Georgescu, 1970, Journal of Algebra, 16, 486, 10.1016/0021-8693(70)90002-5

G. Georgescu, 2000, Soft Computing, 4, 19, 10.1007/s005000050076

R. S. Grigolia, 1977, Selected Papers on Łukasiewicz Sentential Calculi, 81

D. Hilbert, 1927, Grundzüge der theoretischen Logik

D. M. Kan, 1958, Transactions American Mathematical Society, 87, 294, 10.1090/S0002-9947-1958-0131451-0

J. Lambek, 1986, Introduction to Higher Order Categorical Logic

F. W. Lawvere, 1963, Proceedings of the National Academy of Sciences USA, 50, 869, 10.1073/pnas.50.5.869

L. Löfgren, 1968, Bulletin of Mathematical Biophysics, 30, 317, 10.1007/BF02476604

Łukasiewicz, J.: 1970. ‘Selected Works’, in L. Borkowski (ed.), North-Holland Publ. Co., Amsterdam and PWN, Warsaw

S. MacLane, 1992, Sheaves in Geometry and Logic – a first Introduction to Topos Theory

W. McCulloch, 1943, Bulletin of Mathematical Biophysics, 5, 115, 10.1007/BF02478259

R. McNaughton, 1951, Journal of Symbolic Logic, 16, 1, 10.2307/2268660

B. Mitchell, 1965, Theory of Categories

Gr.C. Moisil, 1972, Essai sur les Logiques Non-chrysippiennes

D. Mundici, 1986, Journal of Functional Analysis, 65, 15, 10.1016/0022-1236(86)90015-7

N. Popescu, 1975, Abelian Categories with applications to Rings and Modules

A. Rose, 1956, C. R. Acad. Sci. Paris, 243, 1183

A. Rose, 1958, Transactions American Mathematical Society, 87, 1, 10.1090/S0002-9947-1958-0094299-1

A. Rose, 1962, Journal of Symbolic Logic, 27, 423, 10.2307/2964549

A. Rose, 1978, Journal of Symbolic Logic, 43, 207, 10.2307/2272818

R. Rosen, 1958a, Bulletin of Mathematical Biophysics, 20, 245, 10.1007/BF02478302

R. Rosen, 1958b, Bulletin of Mathematical Biophysics, 20, 317, 10.1007/BF02477890

R. Rosen, 1991, Life Itself

R. Rosen, 2000, Essays on Life Itself

P. Rosenbloom, 1950, The Elements of Mathematical Logic

P. Rosenbloom, 1962, The Elements of Mathematical Logic

J. B. Rosser, 1952, Many-Valued Logics