N-valued logics and Łukasiewicz-Moisil algebras

Axiomathes

Volumn 16, Issue 1-2, 2006, Pages 123-136

  Georgescu, George ^a  

^a NONE

Author keywords

Categories; Categories of ukasiewicz Moisil algebras; Colimits; Equivalences between pairs of different categories of n valued logic algebras; N valued logics and ukasiewicz Moisil logic algebras; The fundamental logic adjunction theorem

Indexed keywords

EID: 33748869559     PISSN: 11221151     EISSN: 15728390     Source Type: Journal    
DOI: 10.1007/s10516-005-4145-6     Document Type: Article

References (40)

1. 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).
2. Baianu, I. C.: 1977, A Logical Model of Genetic Activities in Lukasiewicz Algebras: The Non-linear Theory, Bulletin of Mathematical Biology 39, 249-258.
3. Birkhoff, G.: 1948, Lattice Theory, New York: American Mathematical Society.
4. Boicescu, V., A. Filipoiu, G. Georgescu and S. Rudeanu: 1991, Łukasiewicz-Moisil Algebras, Amsterdam: North-Holland
5. Chang, C. C.: 1958, Algebraic Analysis of Many-Valued logics, Transactions American Mathematical Society 88, 467-490.
6. Chang, C. C.: 1959, A New Proof of the Completeness of the Lukasiewicz Axioms, Transactions American Mathematical Society 93, 74-80.
7. Cignoli, R., F. Esteva, L. Godo and A. Torrens: 2000, Basic Fuzzy Logic is the Logic of Continuous t-Norms and Their Residua, Soft Computing 4, 106-112.
8. Cignoli, R.: 1970. 'Moisil Algebras', Notas de Logica Matematica, Inst. Mat., Univ. Nacional del Sur, BahiaBlanca, No. 27.
9. Bourbaki, N.: 1964, Eléments de Mathématique, Livre II, Algébre, 4, Paris: Hermann, Editor.
10. Carnap, R.: 1938, The Logical Syntax of Language, New York: Harcourt, Brace and Co.
11. Ehresmann, C.: 1965, Catégories et Structures, Paris: Dunod.
12. Eilenberg, S. and S. MacLane: 1945, The General Theory of Natural Equivalences, Transactions American Mathematical Society 58, 231-294.
13. Georgescu, G. and D. Popescu: 1968, On Algebraic Categories, Rev. Raum. Math. Pures et Appl. 13, 337-342.
14. Georgescu, G. and C. Vraciu: 1970, On the Characterization of Centered Lukasiewicz Algebras, Journal of Algebra 16, 486-495.
15. Georgescu, G. and I. Leuştean: 2000, Towards a Probability Theory Based on Moisil Logic, Soft Computing 4, 19-26.
16. Grigolia, R. S.: 1977. Algebraic Analysis of Łukasiewicz-Tarski's Logical Systems, in R. Wójcicki and G. Malinowski (eds.), Selected Papers on Lukasiewicz Sentential Calculi, Wroclaw: Ossolineum, pp. 81-92.
17. Hilbert, D. and W. Ackerman: 1927, Grundzüge der theoretischen Logik, Berlin: Springer.
18. Kan, D. M.: 1958, Adjoint Functors, Transactions American Mathematical Society 87, 294-329.
19. Lambek, J. and P. J. Scott: 1986, Introduction to Higher Order Categorical Logic, Cambridge, UK: Cambridge University Press.
20. Lawvere, F. W.: 1963, Functorial Semantics of Algebraic Theories, Proceedings of the National Academy of Sciences USA 50, 869-872.
21. Löfgren, L.: 1968, An Axiomatic Explanation of Complete Self-Reproduction, Bulletin of Mathematical Biophysics 30, 317-348.
22. Lukasiewicz, J.: 1970. 'Selected Works', in L. Borkowski (ed.), North-Holland Publ. Co., Amsterdam and PWN, Warsaw.
23. MacLane, S. and I. Moerdijk: 1992, Sheaves in Geometry and Logic - a first Introduction to Topos Theory, New York: Springer Verlag
24. McCulloch, W. and W. Pitts: 1943, A Logical Calculus of Ideas Immanent in Nervous Activity, Bulletin of Mathematical Biophysics 5, 115-133.
25. McNaughton, R.: 1951, A Theorem about Infinite-Valued Sentential Logic, Journal of Symbolic Logic 16, 1-13.
26. Mitchell, B.: 1965, Theory of Categories, London: Academic Press.
27. Moisil, Gr.C.: 1972, Essai sur les Logiques Non-chrysippiennes, Bucharest: Ed Academiei.
28. Mundici, D.: 1986, Interpretation of AF C©-algebras in Lukasiewicz Sentential Calculus, Journal of Functional Analysis 65, 15-63.
29. Popescu, N.: 1975, Abelian Categories with applications to Rings and Modules, New York and London: Academic Press (English translation by I.C. Baianu).
30. 0 Valeurs de Lukasiewicz, C. R. Acad. Sci. Paris 243, 1183-1185.
31. Rose, A. and J. B. Rosser: 1958, Fragments of Many-Valued Statement Calculi, Transactions American Mathematical Society 87, 1-53.
32. Rose, A.: 1962, Extensions of Some Theorems of Anderson and Belnap, Journal of Symbolic Logic 27(4), 423-425.
33. 0-Valued Łukasiewicz Propositional Calculi, Journal of Symbolic Logic 43(2), 207-210.
34. Rosen, R.: 1958a, A Relational Theory of Biological Systems, Bulletin of Mathematical Biophysics 20, 245-260.
35. Rosen, R.: 1958b, The Representation of Biological Systems from the Standpoint of the Theory of Categories, Bulletin of Mathematical Biophysics 20, 317-341.
36. Rosen, R.: 1991, Life Itself, New York: Columbia University Press.
37. Rosen, R.: 2000, Essays on Life Itself, New York: Columbia University Press.
38. Rosenbloom, P.: 1950, The Elements of Mathematical Logic, New York: Dover.
39. Rosenbloom, P.: 1962, The Elements of Mathematical Logic, Englewood Cliffs N.J.: Prentice-Hall.
40. Rosser, J. B. and A. R. Turquette: 1952, Many-Valued Logics, Amsterdam: NorthHolland Publ. Co.