Логика компьютерных сетей.
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2005
##plugins.themes.bootstrap3.article.main##
Abstract
We consider some generalizations of Belnap's "useful four-valued logic" by introducing generalized truth values of degree n and propose a heuristic interpretation of these generalizations in terms of computer networks.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Wansing H., Sharamko Y. Логика компьютерных сетей. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 119-145.
Issue
Section
Papers
References
Белнап Н. Как нужно рассуждать компьютеру // Н. Белнап, Т Стил. Логика вопросов и ответов. М.: Прогресс, 1981. С. 208-239. (Оригинал: Contemporary Aspects of Philosophy. Stocksfield: Oriel Press Ltd., 1977. P. 30-55.)
Белнап Н. Об одной полезной четырехзначной логике // Я. Белнап, Т Стил. Логика вопросов и ответов. М.: Прогресс, 1981. С. 240-267. (Оригинал: BelnapN. A useful four-valued logic // J.M. Dunn and G. Epstein (eds.). Modem Uses of Multiple-Valued Logic. Dordrecht: D. Rei- del Publish. Co., 1977. P. 8-37.)
Белнап Н, Стил T. Логика вопросов и ответов. М.: Прогресс, 1981.
Войшвилло Е.К. Семантическая информация. Понятия экстенсиональной и интенсиональной информации // Кибернетика и современное научное познание. М.: Наука, 1976. С. 165-179.
Войшвилло Е.К. Релевантная логика как этап развития логики, ее философское и методологическое значение // Логические исследования. Вып. 1. М.: Наука, 1993. С. 143-155.
Зайцев Д.В., Шрамко Я.В. Логическое следование и выделенные значения // Логические исследования. Вып. 11. М.: Наука, 2004. С. 126-137.
Смирнова Е.Д. Семантика с истинностными провалами, пресыщенными оценками и понятие логического следования // Интенсиональные логики и логическая структура теории. Тезисы докладов IV советско-финского коллоквиума по логике. Телави, 1985.
Шрамко Я.В. Американский план для интуиционистской логики 2: обобщенные интуиционистские модели // Online Journal Logical Studies. No. 5; 2000, ISBN 5-85593-141-2 (http://www.logic.ru)
Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки // Логические исследования. Вып. 9. М.: Наука, 2002. С. 264-291.
Anderson A.R. and N.D. Belnap, Jr. Entailment The Logic of Relevance and Necessity. Vol. I. Princeton University Press, 1975.
Anderson A.R., N.D. Belnap, Jr., and J.M. Dunn. Entailment The Logic of Relevance and Necessity. Vol. II. Princeton University Press, 1992.
Arieli O. and Avron A. Reasoning with logical bilattices // Journal of Logic, Language and Information. 1996. Vol. 5. P. 25-63.
Dunn J.M. Intuitive semantics for first-degree entailment and ‘coupled trees’ // Philosophical Studies. 1976. Vol. 29. P. 149-168.
Dunn J.M. Relevance logic and entailment // D.M. Gabbay and F. Guenter (eds.) Handbook of Philosophical Logic. Vol. III. Dordrecht: D. Reidel Publishing Company, 1986. P. 117-224.
Dunn J.M. Partiality and its dual // Studia Logica. 2000. Vol. 66. P. 225- 256.
Fitting M. Bilattices and the theory of truth // Journal of Philosophical Logic. 1989. Vol. 18. P.225-256.
Ginsberg M. Multi-valued logics // Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence. Los Altos: Morgan Kaufman Publishers, 1986. P 243-247.
Ginsberg M. Multi-valued logics: a uniform approach to reasoning in AI // Computer Intelligence. 1988. Vol. 4. P. 256-316.
Meyer R.K. Why I Am Not a Relevantist. Research paper. No. 1. Australian National University. Logic Group. Research School of the Social Sciences, Canberra, 1978.
Meyer R.K., Martin E.P. Logic on the australian plan // The Journal of Philosophical Logic. 1986. Vol. 15. P. 305-332.
Routley R., Routley V. Semantics of first-degree entailment // Nous. 1972. Vol. 3. P. 335-359.
Shramko Y. Die logische Wahrheitswerteontologie // Bente Christiansen und Uwe Scheffler (eds.). Was folgt. Themen zu Wessel. Berlin: Logos- Verlag, 2004. S. 149-169.
Shramko K., Dunn J.M., Takenaka T. The trilattice of constructive truth values // Journal of Logic and Computation. 2001. Vol. 11. P. 761-788.
Shramko Y., Wansing H. Some useful 16-valued logics: how a computer network should think // Journal of Philosophical Logic. 2005. Vol. 34. P. 121-153.
Wansing H. Short dialogue between M (Mathematician) and P (Philosopher) on multi-lattices // Journal of Logic and Computation. 2001. Vol. 11. P. 759-760.
Белнап Н. Об одной полезной четырехзначной логике // Я. Белнап, Т Стил. Логика вопросов и ответов. М.: Прогресс, 1981. С. 240-267. (Оригинал: BelnapN. A useful four-valued logic // J.M. Dunn and G. Epstein (eds.). Modem Uses of Multiple-Valued Logic. Dordrecht: D. Rei- del Publish. Co., 1977. P. 8-37.)
Белнап Н, Стил T. Логика вопросов и ответов. М.: Прогресс, 1981.
Войшвилло Е.К. Семантическая информация. Понятия экстенсиональной и интенсиональной информации // Кибернетика и современное научное познание. М.: Наука, 1976. С. 165-179.
Войшвилло Е.К. Релевантная логика как этап развития логики, ее философское и методологическое значение // Логические исследования. Вып. 1. М.: Наука, 1993. С. 143-155.
Зайцев Д.В., Шрамко Я.В. Логическое следование и выделенные значения // Логические исследования. Вып. 11. М.: Наука, 2004. С. 126-137.
Смирнова Е.Д. Семантика с истинностными провалами, пресыщенными оценками и понятие логического следования // Интенсиональные логики и логическая структура теории. Тезисы докладов IV советско-финского коллоквиума по логике. Телави, 1985.
Шрамко Я.В. Американский план для интуиционистской логики 2: обобщенные интуиционистские модели // Online Journal Logical Studies. No. 5; 2000, ISBN 5-85593-141-2 (http://www.logic.ru)
Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки // Логические исследования. Вып. 9. М.: Наука, 2002. С. 264-291.
Anderson A.R. and N.D. Belnap, Jr. Entailment The Logic of Relevance and Necessity. Vol. I. Princeton University Press, 1975.
Anderson A.R., N.D. Belnap, Jr., and J.M. Dunn. Entailment The Logic of Relevance and Necessity. Vol. II. Princeton University Press, 1992.
Arieli O. and Avron A. Reasoning with logical bilattices // Journal of Logic, Language and Information. 1996. Vol. 5. P. 25-63.
Dunn J.M. Intuitive semantics for first-degree entailment and ‘coupled trees’ // Philosophical Studies. 1976. Vol. 29. P. 149-168.
Dunn J.M. Relevance logic and entailment // D.M. Gabbay and F. Guenter (eds.) Handbook of Philosophical Logic. Vol. III. Dordrecht: D. Reidel Publishing Company, 1986. P. 117-224.
Dunn J.M. Partiality and its dual // Studia Logica. 2000. Vol. 66. P. 225- 256.
Fitting M. Bilattices and the theory of truth // Journal of Philosophical Logic. 1989. Vol. 18. P.225-256.
Ginsberg M. Multi-valued logics // Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence. Los Altos: Morgan Kaufman Publishers, 1986. P 243-247.
Ginsberg M. Multi-valued logics: a uniform approach to reasoning in AI // Computer Intelligence. 1988. Vol. 4. P. 256-316.
Meyer R.K. Why I Am Not a Relevantist. Research paper. No. 1. Australian National University. Logic Group. Research School of the Social Sciences, Canberra, 1978.
Meyer R.K., Martin E.P. Logic on the australian plan // The Journal of Philosophical Logic. 1986. Vol. 15. P. 305-332.
Routley R., Routley V. Semantics of first-degree entailment // Nous. 1972. Vol. 3. P. 335-359.
Shramko Y. Die logische Wahrheitswerteontologie // Bente Christiansen und Uwe Scheffler (eds.). Was folgt. Themen zu Wessel. Berlin: Logos- Verlag, 2004. S. 149-169.
Shramko K., Dunn J.M., Takenaka T. The trilattice of constructive truth values // Journal of Logic and Computation. 2001. Vol. 11. P. 761-788.
Shramko Y., Wansing H. Some useful 16-valued logics: how a computer network should think // Journal of Philosophical Logic. 2005. Vol. 34. P. 121-153.
Wansing H. Short dialogue between M (Mathematician) and P (Philosopher) on multi-lattices // Journal of Logic and Computation. 2001. Vol. 11. P. 759-760.