N-Valued Logics and Łukasiewicz–Moisil Algebras
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)
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
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
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
Ł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
B. Mitchell, 1965, Theory of Categories
Gr.C. Moisil, 1972, Essai sur les Logiques Non-chrysippiennes
N. Popescu, 1975, Abelian Categories with applications to Rings and Modules
A. Rose, 1956, C. R. Acad. Sci. Paris, 243, 1183
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