Подходы к семантическому определению отношения логического следования

Рассмотрены два типа определения фундаментального понятия логики - отношения логического следования. Первый тип связан с традицией определения логического следования через требования наследования значений. Вариативность этого подхода сопряжена с различными возможностями задания множества оценок. Второй тип определения связан с вычислительной моделью следования.

Литература
[1] Васильев Н.Н. Логика и металогика. Москва, Логос, 1912, с. 50-63.
[2] Белнап Н. Как нужно рассуждать компьютеру. В кн.: Белнап Н., Стил Т. Логика вопросов и ответов. Москва, Прогресс, 1981, 290 с.
[3] Segerberg K. Some modal logics based on a three-valued. Theoria, 1967, vol. 33, рр. 53-71.
[4] Dunn J.M. A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation. Doedrecht, 1997, 600 p.
[5] Войшвилло Е.К. Символическая логика. Классическая и релевантная. Философско-методологические аспекты. Москва, Либроком, 2011, 152 с.
[6] Смирнова Е.Д. Логическая семантика и философские основания логики. Москва, Издательство Московского университета, 1986, 160 с.
[7] Hosli B., Jager G. About Some Symmetries of Negation. Journal of Symbolic Logic, 1994, vol. 59, no. 2, рр. 473-485.
[8] Шалак В.И. Альтернативное определение логического следования. Логические исследования, 2006, вып. 13, с. 273-285.
[9] Шалак В.И. Логика альтернативного отношения следования. Логические исследования, 2006, вып. 13, с. 286-302.
[10] Shramko Y., Wansing H. Some useful 16-valued logics: how a computer network should think. Journal of Philosophical Logic, 2005, vol. 34, рр. 121-153.
[11] Shramko Y. Die logische Wahrheitswerteontologie. In: Christiansen B., Scheffler U., eds. Was folgt. Themen zu Wessel. Berlin, Logos-Verlag, 2004. S. 149-169.
[12] Shramko Y., Dunn J.M., Takenaka T. The trilattice of constructive truth values. Journal of Logic and Computation, 2001, vol. 11, рр. 761-788.
[13] Wansing H. Short dialogue between M (Mathematician) and P (Philosopher) on multi-lattices. Journal of Logic and Computation, 2001, vol. 11, рр. 759, 760.
[14] Shramko Y., Wansing H. Truth Values. Part I. Special issue of Studia Logica, 2009, vol. 91, no. 3, 160 p.
[15] Shramko Y., Wansing H. Truth Values. Part II. Special issue of Studia Logica, 2009, vol. 92, no. 2, 137 p.
[16] Невдобенко О.И. Отношение следования и нестандартные семантики. Автореф. дис. ... канд. филос. наук. Москва, МГУ им. М.В. Ломоносова, 2000, 20 с.
[17] Финн В.К. Стандартные и нестандартные логики аргументации I. Логические исследования, 2006, вып. 13, с. 155-189.