Библиография

Предмет: Логика

Тема: Логика на рубеже тысячелетия

1. Abramsky S., Gabbay D. M., Maibaum T. S. E. (eds.) Handbook of Logic in Computer Science. Vol. IV. Semantic modelling. Oxford Science Publications. 1995 .
2. Anderson A. R., Belnap N. D., jr., Dunn J. M. Entailment: The logic of relevance and necessity. Vol. Princeton Univ. Press. 1992
3. Anderson A.R. & Belnap N.D., jr. 1975 Entailment: The logic of relevance and necessity. Vol. 1. Princeton Univ. Press.
4. Anshakov O. & Rychkov S. 1994 On finite-valued propositional logical calculi // Notre Dame Journal of Formal Logic. Vol. 36, N P. 606-629.
5. Anshakov O.M., Finn V.K., Skvortsov D.P. 1989 On axiomatization of many-valued logics associated with formalization of plausible reasoning // Studia Logica. Vol. 48, N P. 423-447.
6. Avron A. Relevant entailment ? semantics and formal systems // The Journal of Symbolic Logic. Vol. 4N, 1984 P. 334-342.
7. Barwise J.K. & Feferman S. (eds.) 1985 Model-Theoretic Logics. Berlin: Springer-Verlag.
8. Batens D. 1994 Inconsistency-adaptive logics and the foundation of non-monotonic logic // Logique et Analyse. N 14P. 57-94.
9. Battilotti G. & Sambin G. 2000 Basic logic and the cube of its extension Proceedings of LMPS. Florence, 1995 (to appear).
10. Beavers G. 1993 Extensions of the ? 0-valued ?ukasiewicz propositional logic // Notre Dame Journal of Formal Logic. Vol. 34, N. P. 251-262.
11. Blok W.J. & Pigozzi D. 1989 Algebraizable logics (monograph). Memoirs of the American Mathematical Society. N 396.
12. Blok W.J. 1976 Varieties of interior algebras. PhD thesis, University of Amsterdam.
13. Blok W.J. 1980 The lattice of modal logics: an algebraic investigation // The Journal of Symboloc Lgic. Vol. 4P.221-236.
14. Bolc L. & Borowik P. 1992 Many-valued logics: Theoretical foundations. Vol. 1. Berlin: Springer-Verlag.
15. Bolc L. & Borowik P. 1998 Many-valued logics Automated reasonong and practical applications. Berlin: Springer-Verlag.
16. Boolos G.1975 On second-order logic // The Journal of Philosophy. Vol. 7P. 509-526.
17. Brouwer L.E.J. 1908 De onbetrouwbaarheid der logische principes. Tijdschrift voor wijsbegeerte. Vol. 2, p. 152-15(Англ. пер.: The unreliability of the logical principles // Brouwer L. E. J. The collected works. Dordrecht, 1975)
18. Burris S. & Sankappanavar H. P 1981 . A course in universal algebra. Berlin: Springer-Verlag.
19. Buszkowski W. et al. (eds.) 1988 Categorial Grammar. Amsterdam: Benjamins.
20. Butler S. W. & Butler J. T. 1992 Profiles of topics and authors of the International Symposium on Multiple-Valued Logic for 1971-1991. International Symposium on Multiple-Valued Logic. 22th. Sendai. P. 372-37
21. Carnielli W. A. & D'Ottaviano M. L. 1997 Translations between logical systems: A MANIFESTO // Logique et Analyse. N 15P. 67-81.
22. Carnielli W.A. 1996 Review of Gabbay D. M. (ed.) 1994 // Mathematical Review. 96k: 03008.
23. Chagrov A. & Zakharyaschev M. 1997 Modal logic. Oxford: Clarendon Press.
24. Chang C.C. & Keisler H.J. 1990 Model Theory. Amsterdam: Elsevier Science Publ.
25. Chelakowski J. 1992 Consequences operations: Foundational studies. Warszawa. Prepublication.
26. Church 1951 Minimal logic (abstract) // The Journal of Symbolic Logic. Vol. 1P. 239.
27. Church A. 1937 Combinatory logic as a semigroup (abstract) // Bull. Amer. Math. Soc. Vol. 4P. 233.
28. Cignoli R., D'Ottaviano I.M.L., Mundici D. 2000 Algebraic Foundations of Many-valued Reasoning. Trends in Logic. Vol. Dordrecht: Kluwer.
29. Curry H. B. & Feys R. 1958 Combinatory Logic. Vol. 1. Amsterdam.
30. Curry H. B. 1954 Generalisation of the deduction theorem. Proceedings of the International Congress of Mathematicans. Vol. Amsterdam. P. 399-400.
31. da Costa N. C. A. & Krause D. 1994 Schrцdinger logics // Studia Logica. Vol. 5P. 533-550.
32. Do?en K. & Petri? Z. 1999 Cartesian isomorphism are symmetric monoidal: A justification of linear logic // The Journal of Symbolic Logic. Vol. 64, N 1. P. 227-242.
33. Do?en K. & Schroeder-Heister P. (eds.) 1993 Substructural logics. Oxford: Clarendon Press.
34. Do?en K. 1992 Modal logic as metalogic // Journal of Logic, Language and Information, Vol. 1, N P. 173-201.
35. Do?en K. 1993 A historical introduction to substructural logics // Do?en K. & Schroeder-Heister P. (eds.) 1993 . P. 1-30.
36. Do?en K. 1996 Deductive completeness // The Bulletin of Symbolic Logic. Vol. N P. 243-283.
37. Dummet M. & Lemmon E. 1959 Modal logics between S4 and S5 // Zeitschrift fь r mathematische Logic und Grundlagen der Mathematik. Bd. S. 250-264.
38. Dummett M. 1959 A propositional calculus with denumerable matrix // The Journal of Symboloc Lgic. Vol. 2P. 97-106.
39. Dzik W. 1982 On the content of lattices of logics. Part II // Report on Mathematical Logic. N P. 29-47.
40. Dziobiak W. 1983 There are logics with the relevance principle between R and RM // Studia Logica. Vol. XLII, N 1.
41. Eilenberg S. & Mac Lane S. 1945 General theory of natural equivalences // Transactions of the American Mathematical Society. Vol. 5P. 231-29(Переиздано: Eilenberg-Mac Lane: Collected Works. Academic Press, 1986).
42. Epstein G. 1993 Multiple-valued logic design: an introduction. Bristol.
43. Epstein R.L 1990 . The semantic foundations of logic. - Vol. 1: Propositional logic. - Dordrecht: Kluwer. (2nd ed., 1995).
44. Epstein R.L 1994 . The semantic foundations of logic. Vol. 2: First-order logic. Dordrecht: Kluwer.
45. Feferman S. 1974 Application of manysorted interpolation theorems // Proccedings of the Tarski Symposium. Providence. P. 205-224.
46. Font J.M. & Jansana R. 1996 A General Algebraic Semantics for Sentential Logics. Berlin: Springer-Verlag.
47. Frege G. 1879 Begriffsschrift, eine der arithmetischen nachgebildete Formalsprache des reinen Denkens. Hale (Hebert). (Англ. пер.: Begriffsschrift, a formula language, modelled upon that of arithmetic, for pure thought // Van Heijenoort J (ed.) 1967 . P. 1-82).
48. Gabbay D. M. (ed.) 1994 What is a logical system? Oxford: Clarendon Press (and New York 1995).
49. Gabbay D. M. 1981 Semantical investigations in Heyting's intuitionistic logic. Dordrecht: Reidel.
50. Gabbay D. M. 1985 Theoretical foundations for non-monotonic reasoning in expert systems // Apt K.R. (ed.) Logics and models of concurrent systems. Berlin: Springer. P. 439-457.
51. Gabbay D. M., Hogger C. J., Robinson J. A. (eds.) 1998 Handbook of Logics in Artificial Intelligence and Logic Programming. Vol. V. Logic programming. Oxford Science Publications.
52. Gabbay D.M. 1996 Labelled deductive systems. Vol. 1. Oxford: Clarendon Press.
53. Gaifman H. 1976 Operations on relational structures functors and classes. I // Proceedings of the Tarski Symposium. Amer. Math. Society. Vol. 2P. 21-39.
54. Girard J. Y. 1987 Linear logic // Theoretical Computer Science. Vol. 50. P. 1-102.
55. Glivenko М. 1929 Sur quelques points de la logique de M.Brouwer. Acadйmie Royale de Belgique, Bulletins de la classe des sciences, ser. Vol. P. 183-18(Русский перевод: Гливенко В. О некоторых аспектах логики Брауэра // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 199C. 19-23).
56. Goldfarb W. D. 1979 Logic in the twenties: the nature of the quantifier // The Journal of Symbolic Logic. Vol. 44, N P. 351-368.
57. Grzegorczyk A. 1967 Some relational systems and the associated topological spaces // Fundamenta Mathematicae. Vol. 60. P. 223-231.
58. Gц del K. 1932 Zum intuitionistischen Aussgenkalkul // Anzeiger der Akademie der Wissenschaften Wien, mathematisch, natur-wissenschaftliche Klasse. Bd. 6S. 65-6(Английский перевод: On the intuitionistic propositional calculus // Gц del 1986 . P. 222-225).
59. Haack S. 1974 Deviant logic: Some philosophical issues. L.: Cambridge Univ. Press.
60. Haack S. 1996 Deviant logic, fuzzy logic: Beyond the formalism. Univerity of Chicago Press, 1996.
61. Hacking I. 1979 What is logic? // The Journal of Philosophy. Vol. 7N (Переиздано // Gabbay D. M. (ed.) 1994 . P. 1-33).
62. Halmos P. & Givant S. 1998 Logic as Algebra. Washington.
63. Halmos P. 1962 Algebraic Logic. New York: Chelsea Publishing Co.
64. Hartonas C. 1997 An algebraic theory of structured objects // Notre Dome Journal of Formal Logic. Vol. 38, N 1. P. 65-80.
65. Henkin L., Monk J. D., Tarski A. 1971 Cylindric Algebras. Parts I. Amsterdam: North-Holland Publ. Co. (Reprinted in 1985).
66. Henkin L., Monk J. D., Tarski A. 1985 Cylindric Algebras. P. I, P. II. Pergamon Press.
67. Heyting A 1930 Die Formalen Regeln der intuitionistischen Logik // Sitzungsberichte der Preussischen (Berlin) Academie der Wissenschaften zu Berlin. Phys.-Math. Klasse. P. 42-56.
68. Hintikka 1996 The principles of mathematics revisited. Cambridge: Cambridge Univ. Press.
69. Hintikka J. & Sandu G. 1996 A revolution in logic? // Nordic Journal of Philosophical Logic. Vol. 1. N P. 169-183.
70. Hintikka J. 1994 What is true elementary logic? // Gavroglu K., Stachel J., Wartofsky M. (eds.), Physics, philosophy and the scientific community. Dordrecht: Kluwer. P. 301-326.
71. Hosoi T. 1967 On intermediate logics // Journal of the Faculty of Science, University of Tokyo. Vol. P. 293-312.
72. Hosoi T. 1969 On intermediate logics II // Journal of the Faculty of Science, University of Tokyo. Vol. 1P. 1-12.
73. Howard W. A. 1980 The formulae-as-types notion of construction // J.R.Hindley & J.P.Seden (eds.) To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. London: Academy Press. P. 479-490.
74. Inouй T. 1996 Corrections and additions to my paper "A note on unprovability-preserving sound translations", More general constractions // Logique et Analyse. N 155-15P. 335-367.
75. Jбnossy A., Kurucz Б., Eiben Б. E. 1996 Combining algebraizable logics // Notre Dame Jornal of Formal Logic. Vol. 3N P. 366-380.
76. Karpenko A.S. & Popov V.M. 1997 BCKX is the axiomatization of implicational fragment of ?ukasiewicz's infinite-valued logic ?? // Bulletin of the Section of Logic. Vol. 26, N P. 112-117.
77. Karpenko A.S. 1989 Characterization of prime numbers in ?ukasiewicz's logical matrix // Studia Logica. Vol. 4N P. 465-478.
78. Karpenko A.S. 2000 Classification of propositional calculi // Studia Logica (to appear).
79. Kiriyama E. & Ono H. 1991 The contraction rule and decision problems for logics without structural rules // Studia Logica. Vol. 50, N P. 299-319.
80. Komori Y. 1981 Super-?ukasiewicz propositional logics // Nagoya Mathematical Journal. Vol. 8P. 119-13
81. Lambek J. & Scott P.I. 1986 Introduction to higher-order categorical logic. Cambridge Univ. Press.
82. Lambek J. 1958 The mathematics of sentence structure // Americam Mathematical Monthly. Vol. 6P. 154-170. (Рус. Пер.: Ламбек Дж. Математическое исследование структуры предложений // Математическая лингвистика. М., 196C. 47-68).
83. Lambek J. 1968 Deductive systems and categories I // Math. Systems Theory. Vol. 2, N P. 278-318.
84. Lambek J. 1974 Functional completeness of cartesian categories // Annals of Mathematical Logic. Vol. P. 259-292.
85. Lambek J. 1988 On the unity of algebra and logic // F.Borceux (ed.) Categorial Algebra and its Applications. Berlin: Springer-Verlag,.
86. Lambek J. 1994 What is a deductive system? // Gabbay D.M. (ed.) 1994 . P. 141-159.
87. Lawvere F.W. & Schanuel S.H. 1997 Conceptual Mathematics. A first introduction to categories. Cambridge Univ. Press.
88. Lawvere F.W. 1966 The category of categories as a foundation for Mathematics // S.Eilenberg & D. K.Harrison et al. (eds.) // Proceedings of the Conference on Categorial Algebra in La Jolla. 196Sprenger Verlag. P. 1-21.
89. Lewin R. A., Mikenberg I. F., Schwarze M. G. 1991 C1 is not algebraizable // Notre Dame Journal of Formal Logic. Vol. 3N P. 609-611.
90. Lewis C. I. & Langford C. H. 1932 Symbolic logic. N. Y.: The Century Company (2nd ed. with corrections, Dover, 1959).
91. Lewis C.I. 1912 Implication and the algebra of logic // Mind. Vol. P. 522-531.
92. Lindstrцm P. 1969 On extensions of elementary logic // Theoria. Vol. 3P. 1-11.
93. ?o? J. & Suszko R. 1958 Remarks on sentential logics // Indagationes mathematicae. Vol. P. 177-183.
94. ?ukasiewicz 1922/1923 Interpretacja liczbowa teorii zdan // Ruch Filozoficzny. T. S. 92-9(Англ. пер.: A numerical interpretation of theory propositions // ?ukasiewicz J. 1970 . P. 129-130 ).
95. ?ukasiewicz J. 1920 O logice tr? jwartos ciowey //Ruch Filozoficzny. T. S.170-171. (Англ. пер.: On three-valued logic // ?ukasiewicz J. 1970 . P. 87-88).
96. ?ukasiewicz J. 1929 Elementy logiki matematycznej. Warsawa. (?нгл. пер.: Elements of mathematical logic. N.Y., 1963).
97. ?ukasiewicz J. 1970 Selected works. Warszawa: PWN.
98. ?ukasiewicz J. 1971 On the principle of contradiction in Aristotle // Review of Metaphysics. Vol. 2P. 15-38.
99. Mac Lane S. 1971 Categories for the Working Mathematician. Springer Verlag.
100. MacCaull W. 1998 Relational semantics and a relational prove system for full Lambek calculus // The Journal of Symbolic Logic. Vol. 6N P. 623-637.
101. Malinowski G. 1993 Many-valued logics. Oxford: Clarendon Press.
102. Manzano M. 1996 Extensions of first order logic. Cambridge: Cambridge Univ. Press.
103. Martinez N.G. 1990 The Priestly duality for Wajsberg algebras // Studia Logica. Vol. 4N 1. P. 31-4
104. McKinsey J.C.C. & Tarski A. 1948 Some theorems about the sentential calculi of Lewis and Heyting // The Journal of Symboloc Logic. Vol. P. 1-
105. McLarty C. 1990 The uses and the abuses of the history of topos theory // British Journal for Philosophy of Science. Vol. 41. P.351-375.
106. McLarty C. 1992 Elementary Categories, Elementary Toposes. Oxford: Clarendon Press.
107. Meyer R. K. 1974 New axiomatics for relevant logics - I // Journal of Philosophical Logic. Vol. P. 53-58.
108. Miller D. 1997 Logic programming and metalogic // H.Sckwichtenberg (ed.) Logic of Computation. Berlin. P.265-308.
109. Monk J.D. (ed.) 1989 Handbook of Boolean Algebras. Vols. I-III. Amsterdam: North-Holland Co.
110. Mostowski A. 1957 On a generalization of quantifiers // Fundamenta Mathematicae. Vol. 4P. 12-36.
111. Mundici D. & Cignoli R. 1997 An invitation to Chang's MV-algebras // M. Droste & R. Gцbel (eds.) Advances in Algebra and Model Theory. Reading, UK: Gordon and Breach Publishing Group.
112. Mundici D. 1986 Interpretation of AF C*-algebras in ?ukasiewicz sentential calculus // Journal of Functional Analysis. Vol. 6P. 15-63.
113. Mycielski J. 1977 A lattice of interpretability types of theories // The Journal of Symboloc Lgic. Vol. 4P. 297-305.
114. Mycielski J., Pudlбk P., Stern A. S. 1990 A lattice of chapters of mathematics (interpretations between theorems) // Memoirs of the American Mathematical Society. Vol. 8N. 426.
115. Nerode A & Shore R.A. 1993 Logics for applications. Berlin: Springer.
116. Nйmeti I. & Andrйka H. 1994 General algebraic logic: a perspective on 'what is logic' // Gabbay D. M. (ed.) 1994 . P. 393-443.
117. Ono H. & Komori Y. 1985 Logics without the contraction rule // The Journal of Symbolic Logic. Vol. 50. P. 169-201.
118. Ono H.1990 Structural rules and a logical hierarchy // Mathematical logic. New York: Plenum Press. P. 95-104.
119. Post E. L. 1921 Introduction to a general theory of elementary propositions. American Journal of Mathematics. Vol. 43, N P. 163-18(Переиздано: Van Heijenoort J (ed.) 1967 . P. 264-283).
120. Prawitz D. & Malmnдs P. E. 1968 A survey of some connections between classical, intuitionistic and minimal logic // Schmidt H. et al. (eds). Contributions to mathematical logic. Amsterdam: North-Holland. P. 215-229.
121. Priest G. & Routley R. &. Norman J. (eds.) 1989 Paraconsistent logic: Essays on the inconsistent. Mьnchen: Philosopia Verlag.
122. Quine W.V. 1970 Philosophy of logic. N.Y.: Englewood Cliffs.
123. Rasiowa H. 1974 An Algebraic Approach to Non-classical Logics. Warszawa: PWN.
124. Rautenberg W. 1979 Klassische und nichtklassische Aussagenlogic. Braunschweig: Vieweg & Sohn.
125. Rose A. 1953 The degree of completeness of the ? 0-valued ?ukasiewicz propositional calculus // J. of London Math. Soc. Vol. 2P. 176-18
126. Ruitenburg W. 1995 Model theory of basic logic // Proceeding of 10th International Congress of Logic, Methodology and Philosophy of Sciences. Volume of abstracts. Florence. P. 201.
127. Ruitenburg W. 1998 Basic predicate logic // Notre Dame Journal of Formal Logic. Vol. 3N 1. P. 18-46.
128. Schц nfinkel M. 1924 Uber die Bausteine der Mathematihschen Logik. Mathematischen Annalen. Bd. 9p.305-316 (Англ. пер.: On the building blocks of mathematical logic// Van Heijenoort J. (ed.) 1967 . P. 355-366).
129. Scott D. 1971 On engendering an illusion of undenstanding // The Journal of Philosophy. Vol. 6P. 787-807.
130. Scroggs S.J. 1951 Extensions of the Lewis system S5 // The Journal of Symbolic Logic. Vol. 1P. 112-120.
131. Shannon C. 1938 A symbolic analysis of relay and switching circuits // Trans. Amer. Inst. Elect. Eng. Vol. 5P. 713-72(Рус. пер.: Символический анализ релейных и переключательных схем // Шеннон К. Работы по теории информации и кибернетике. М., 196C. 9-45).
132. Sher G. Y. 1991 The Bounds of Logic. A Generalized Viewpont. Cambridge: The MIT Press.
133. Sher G. Y. 1996 Review of Gabbay D.M. (ed.) 1994 // The Journal of Symbolic Logic. Vol. 61. N P. 1396-1400.
134. Stanley B. & Sankappanavar H.P.1981 A Course in Universal Algebra. New York Inc.: Springer-Verlag.
135. Surma S. J. 1982 On the origin and subsequent applications of the concept of Lindenbaum algebra // L. J. Cohen et al. (eds.) Logic, Methodology and Philosophy of Science VI.Warszaw: PWN. P. 719-734.
136. Tarski A 1930a Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I // Monatshefte fь r Mathematik und Physik. Bd. 3P. 361-40(Английский перевод: Fundamental concepts of the methodology of the deductive sciences // Tarski 1956 . P. 60-109).
137. Tarski A. 1930 Ь ber einige fundamentale Begriffe der Metamathematik // Comptes Rendus des Sй ances de la Sociй tй des Sciences et des Lettres de Varsovie. Classe III. Vol. 23, p. 22-2(Англ. пер.: On some fundamental concepts of metamathematics // Tarski 1956 . P. 30-37).
138. Tarski A. 1956 Logic, semantics, metamathematics. Papers from 1923 to 193Oxford. (2nd ed. Indianopolis, 1983).
139. Thomason R. H. (ed.) 1989 . Philosophical Logic and Artifical Intelligence.Dordrecht: Kluwer.
140. Torrens A. 1988 On the role of the polynomial (x ? y) ? y in some implicative algebras // Zeitschrift fь r mathematische Logik und Grundlagen der Mathematik. Bd. 3S. 117-122.
141. Troelstra A. S. 1992 Lectures on linear logic. - Stanford: CSLI.
142. Turquette A. R. 1963 Independent axioms for infinite-valued logic // The Journal of Symbolic Logic. Vol. 28, N P. 217-221.
143. Umezawa T. 1959 On intermediate propositional logics // The Journal of Symboloc Logic. Vol. 2P. 20-36.
144. Van Benthem J. & Doets K. 1983 Higher-order logic // Gabbay D. & Guenthner F. (eds.) Handbook of Philosophical Logic. Vol. I: Elements of classical logic. Dordrecht: Reidel. P. 275-329.
145. Van Benthem J. 1991 Language in Action: Categories, Lambdas and Dynamic Logic. Amsterdam: North-Holland.
146. Van Heijenoort J. (ed.) 1967 From Frege to Gц del: A Source Book in Mathematical Logic, 1879-1931. Cambr. (Mass.): Harvard Univ. Press.
147. Wajsberg M. 1937 Metalogische Beitrдge // Wiadomos ci Matematyczne. Vol. 4P. 131-16(Англ. пер.: Contribution to metalogic // Wajsberg M. Logical Works. Wrocl aw, 197P. 172-200).
148. Wang Hao 1994 What is logic? // The Monist. Vol. 7N P. 261-27
149. Wansing H. 1998 Displaying modal logic. Dordrecht: Kluwer.
150. Whitehead A. & Russell B. 1910-1913 Principia Mathematica. Cambridge (England): Univ. Press. (Переиздано: Cambridge, 1962).
151. Wуjcicki R. 1984 Lectures on Propositional Calculi. Wroc?aw: Ossolineum.
152. Wуjcicki R. 1988 Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer.
153. Анисов А.М. Темпоральный универсум и его познание. М.: ИНФРА-М (в печати), 2000
154. Антимиров и др. 1991 Математическая логика в программировании // Захарьящев М.В. & Янов Ю.И. (ред.) 1991 . C. 331-407.
155. Аншаков О.М. Логико-математические основания ДСМ-метода автоматического порождения гипотез (докторская диссертация). 2000 г.
156. Аншаков О.М., Рычков С.В. О многозначных логических исчислениях // Семиотика и информатика, 1982, C. 90-117.
157. Аншаков О.М., Рычков С.В. Об одном способе формализации и классификации многозначных логик // Семиотика и информатика. Вып. 2, 1984, С. 78-106.
158. Аншаков О.М., Скворцов Д.П., Финн В.К. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез // Семиотика и информация. Вып 3, 1993, с. 164-233.
159. Барвайс Д. Введение в логику первого порядка // Барвайс Д. (ред.), 1982, Часть I. Теория моделей. -1982, С. 13-54.
160. Барвайс Д. (ред.) Справочная книга по математической логике: В 4-х частях. М.: Наука. 1982. - C. 13-5
161. Биркгоф 1952 Теория структур. М.: ИЛ. (Перевод с английского: Birkhoff G. Lattice theory (revised edition). N.Y., 1948).
162. Бочвар Д.А. & Финн В.К. 1972 О многозначных логиках, допускающих формализацию анализа антиномий. 1 // Исследования по математической лингвистике, математической логике и информационным языкам. М. C. 238-295.
163. Бочвар Д.А. 1938 Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления//Математический сборник. Т. № C. 287-300 (Английский перевод в: History and Philosophy of Logic. 1981. Vol. 2).
164. Васильев Н.А. Воображаемая логика. Избранные труды. Отв. ред. В.А.Смирнов. М.: Наука. 1989
165. Васюков В.Л. Развивая Тарского: котопос теорий // Логические исследования. Вып. М.: Наука. 1995, C. 276-291.
166. Васюков В.Л. Импликативные логики, дедуктивные импликативные системы и экспоненциальные мультикатегории // Логические исследования. Вып. М.: Наука. 2000
167. Витгенштейн Логико-философский трактат. М.: ИЛ. 1958
168. Вригт Х., фон Логика и философия в ХХ веке // Вопросы философии. 1992, № C. 80-91.
169. Генцен. Исследование логических выводов // А.В.Идельсон & Е.Минц (ред.) Математическая теория логического вывода. М.: Наука. 1967
170. Гильберт Д., Аккерман В. Основы теоретической логики. М.: ИЛ. 1947
171. Гиндикин С. Алгебра логики в задачах. М.: Наука. 1972
172. Голдблатт Р. Топосы. Категорный анализ логики. М.: Мир. 1983 (Перевод с английского: Goldblatt R. TOPOI. The categorical analysis of logic. Amsterdam: North-Holland, 1979).
173. Гретцер . Общая теория решеток. М.: Мир. 1982 (Пер. с англ.: Grдtzer G. General lattice theory. Berlin: Springer-Verlag, 1978.)
174. Григолия Р.Ш. Решетка всех финитно-аппроксимируемых расширений счетнозначной логики Лукасевича // Исследования по теории множеств и неклассическим логикам. М. 1976 C. 221-246.
175. Джонстон П.Т. 1986 Теория топосов. М.: Наука. (Перевод с английского: Johnstone P.T. Topos theory. London: Academic Press, 1977).
176. Захарьящев М.В., Янов Ю.И. (ред.) Математическая логика в программировании. М.: Мир. 1991
177. Кант Критика чистого разума. М.: Мысль. 1994
178. Карпенко А.С. Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения // Логические исследования. 1999. - М.:: Наука. C. 76-80.
179. Карпенко А.С. Классификация пропозициональных логик // Логические исследования. М.: Наука. 1997, C. 107-133.
180. Карпенко А.С. Логика в России. Вторая половина ХХ века // Вопросы философии, 1999. - № C. 148-158.
181. Карпенко А.С. Многозначные логики (монография). Логика и компьютер. Вып. М.: Наука. 1997
182. Карпенко А.С. Характеризация классов натуральных чисел посредством логических матриц // Труды научно-исследовательского семинара логического центра Института философии РАН. М. 1999, C. 217-225.
183. Карпенко А.С., Шалак В.И. Логики Лукасевича и простые числа. М.: Наука (в печати). 2000
184. Кейслер, Чэн Ч. Ч. Теория моделей. М. 1977. (Пер. с англ.: Chang C. C. & Keisler H.J. Model theory. Amsterdam: North-Holland, 1973).
185. Кок А. & Рейес Э. Доктрины в категорной логике // Барвайс Д. (ред.) 1982 Часть I. Теория моделей. -1982. - C. 289-319.
186. Комендантский В. Е. N-значные изоморфы классической логики (дипломная работа). 2000
187. Кон П. Универсальная алгебра. М.: Мир. 1968 (Пер. с английского: Cohn P. M. Universal algebra. N.Y.: Harper & Row, 1965).
188. Кудрявцев В. Б. О функциональных системах. М. 1981
189. Кузнецов А. В. Некоторые свойства структуры многообразий псевдобулевых алгебр // XI Всесоюзный алгебраический коллоквиум. Кишинев. - 1971, С. 225-256.
190. Кузнецов А. В. О суперинтуиционистских логиках // Математические исследования. Вып. 2. 1975
191. Кузнецов А.В. Алгебра логики. Философская Энциклопедия. Т. 1. М. С. 33-38. 1960
192. Куратовский К. Топология. Т. 1. М.: Мир, 1966 (Перевод с английского: Kuratowski K. Topology. Vol. 1. Warszawa: PWN, 1966).
193. Лукасевич Я. В защиту логистики // Философия и логика Львовско-Варшавской школы. М.: РОССПЭН. 1999, C. 219-23
194. Лукасевич Я. О детерминизме // Логические исследования. Вып. М.: Наука. 1993, C. 190-200 (Переизд.: Вопросы философии, 1995, № C. 60-71; Философия и логика Львовско-Варшавской школы. М., 199C. 179-198).
195. Максимова Л. Л Интерполяция в суперинтуиционистских логиках предикатов с равенством // Алгебра и логика. Т. 26, 1997. - № C. 318-357.
196. Максимова Л. Л., Рыбаков В. В. Решетки модальных логик // Алгебра и логика. Т. -1974 .- C. 105-122.
197. Минц Е. Замкнутые категории и теория доказательств // Е.Минц & В. П.Оревков (ред.) Теоретическое применение методов математической логики. II. Ленинград: Наука. 1977, С. 83 (Англ. пер.: Closed categories and the theory of proofs // Mints G. Selected Papers in Proof Theory. Bibliopolis and North-Holland. 199P. 183-212).
198. Расёва Е.,Сикорский Р. Математика метаматематики. М.: Наука. - 1972 (Перев. с англ.: Rasiowa H. & Sikorski R. The Mathematics of Metamathematics. Warszawa: PWN, 1963).
199. Смирнов В.А. Логические методы анализа научного знания. М.: Наука. 1987
200. Смирнов В.А. Формальный вывод и логические исчисления. М.: Наука. 1972
201. Тей А. и др. Логический подход к искусственному интеллекту. М.: Мир. 1990
202. Финн В. К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия в современном мире: Философия и логика. М.: Наука. 1974, С. 398-438.
203. Финн В. К. Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники. Сер. Теория вероятностей. Математическая статистика. Теоретическая кибернетика. Т. 2М.: ВИНИТИ. 1988, C. 3-84.
204. Финн В.К. О возможностях формализации правдоподобных рассуждений средствами многозначных логик // VII Всесоюзный симпозиум по логике и методологии науки. Киев: Наук. Думка,1976. C. 82-83.
205. Хао Ван На пути к механической математике // Кибернетический сборник, 1962 (Пер. с англ.: Wang Hao. Toward mechanical mathematics. IBM J. Res. Devel. 1960. Vol. N 1. P. 2-22).
206. Шестаков В. И. 1941 Алгебра двухполюсных схем, построенных исключительно из двухполюсников // Журнал физической техники. Т. Вып. - C. 532-549.
207. Энгелер Э. Метаматематика элементарной математики. М. 1987
208. Эсакиа Л. Л Алгебры Гейтинга I. Теория двойственности. Тбилиси: Мецниереба. 1985
209. Эсакиа Л. Л. Алгебры логики // Упорядоченные множества и решетки. Саратов: СГУ. 1983, C. 115-126.
210. Эсакиа Л. Л. О многообразиях алгебр Гжегорчика // Исследования по неклассическим логикам и теории множеств. М.: Наука, 197C. 257-287. 1979
211. Янков В. А. Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений // Доклады Академии Наук СССР. Т. 181. № 1. 1968, C. 33-3
212. Янов Ю. И. & Мучник А. А. О существовании k-значных замкнутых классов, не имеющих конечного базиса//Там же. Т. 12. - 1959, C. 44-46.

Похожие книги

1. Ханс-Ульрих Дериг. Универсальный банк - банк будущего. Финансовая стратегия на рубеже века. – М.: Международные отношения, 1999. – 384 с.
   
2. С.В. Фомишин. Международные экономические отношения на рубеже тысячелетий. – М.: Олди-плюс, 2002. – 560 с.
   
3. Москва рубежа XIX и XX столетий. Взгляд в прошлое издалека. – М.: Российская политическая энциклопедия, 2004. – 304 с.
   
4. Ю.И. Александров, Ю.В. Апальков. Боевые корабли мира на рубеже XX-XXI веков. Том 2. Авианосцы, крейсера, эскадренные миноносцы. Современное состояние и перспективы развития. В 2 частях. Часть 1. Авианосцы и крейсера. – М.: Галея Принт, 2005. – 204 с.
   
5. Ф.А. Медведев. Французская школа теории функций и множеств на рубеже XIX-XX вв. – М.: КомКнига, 2006. – 232 с.
   
6. Коллектив авторов. Итальянская и испанская философия на рубеже XX-XXI веков. – М.: ИНИОН РАН, 2005. – 136 с.
   
7. А.М. Ковалев. Человеческое сообщество на рубеже столетий. Дилемма "капитализм - социализм". – М.: Либроком, 2009. – 408 с.
   
8. Проблема ценностного статуса науки на рубеже XXI века. – М.: Издательство Русского Христианского Гуманитарного Института, 1999. – 280 с.
   
9. Г.В. Андреевский. Повседневная жизнь Москвы на рубеже XIX-XX веков. – М.: Молодая гвардия, 2009. – 688 с.
   
10. Культуры городов Российской империи на рубеже 19-20 веков. – М.: Европейский Дом, 2009. – 432 с.
    
11. Ноэл Тил. Прогнозы на новое тысячелетие. – М.: Крон-Пресс, 1998. – 416 с.
    
12. А.Л. Бобылева. Хозяин спектакля. Режиссерское искусство на рубеже XIX-XX веков. – М.: Едиториал УРСС, 2000. – 168 с.
    
13. Культура на рубеже XX-XXI веков. Глобализационные процессы. – М.: Нестор-История, 2009. – 632 с.
    
14. Ольга Егошина. Первые сюжеты. Русская сцена на рубеже тысячелетий. – М.: Новое литературное обозрение, 2010. – 276 с.
    
15. Литературный процесс в Германии на рубеже XIX-XX веков. – М.: ИМЛИ РАН, 2014. – 496 с.
    
16. Аида Багирова. Ирак на рубеже тысячелетия: от "Бури" к "Свободе". – М.: LAP Lambert Academic Publishing, 2013. – 172 с.
    
17. Русский язык на рубеже тысячелетий. Материалы Всероссийской конференции 26-27 октября 2000 г. В 3 томах. Том 1. – М.: , . –  с.
    

Описание предмета: «Логика»

Образцы работ

Бесплатные рефераты, курсовые, дипломные работы