Классификация трех- и четырехзначных логик в рамках логики ложности fl4.
Article Sidebar
Опубликован:
01.11.1995
Main Article Content
Аннотация
В статье рассматривается классификация трехзначных и четырехзначных логик в рамках логики ложности $FL4$. Четырехзначная логика $FL4$ позволяет корректно оперировать, в дополнение к обычным двузначным высказыванияму с противоречивыми высказываниями и высказываниями, которые не являются ни истинными, ни ложными.
В рамках $FL4$ определяются логические связки, истинностные таблицы для которых можно поставить в определенное соответствие с таблицами для связок 4-значных логики Белнапа и логики истины фон Вригта, 3-значных логик Клини, Лукасевича, Бочвара, интуиционистской логики Гейтинга, паранепротиворечивых логик Приста, Асеньо-Тамбурино, Сугихары, Cemme, формализованной Аррудой логики Васильева, с операциями алгебры Да Косты.
Для различных импликаций, возможных в рамках $FL4$, проводится классификация соответствующих логик, аналогично классификации импликативныхлогик, предложенной А.С.Карпенко.
В рамках $FL4$ определяются логические связки, истинностные таблицы для которых можно поставить в определенное соответствие с таблицами для связок 4-значных логики Белнапа и логики истины фон Вригта, 3-значных логик Клини, Лукасевича, Бочвара, интуиционистской логики Гейтинга, паранепротиворечивых логик Приста, Асеньо-Тамбурино, Сугихары, Cemme, формализованной Аррудой логики Васильева, с операциями алгебры Да Косты.
Для различных импликаций, возможных в рамках $FL4$, проводится классификация соответствующих логик, аналогично классификации импликативныхлогик, предложенной А.С.Карпенко.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Павлов С. Классификация трех- и четырехзначных логик в рамках логики ложности fl4. // Логические исследования / Logical Investigations. 1995. Т. 3. C. 98-122.
Выпуск
Раздел
Статьи
Литература
Арруда А. Воображаемая логика Васильева / / Васильев НА. Воображаемая логика. Избранные труды. М. 1989.
Белнап Н. Как нужно рассуждать компьютеру / / Белнап Н., Стил Т. Логика вопросов и ответов. М., 1981.
Бочвар Д А . Об одном трехзначном исчислении //Математический сборник. Т.4. N 2.1938.
А.Войшвилло Е.К. Семантика релевантных логик //Разум и культура. МГУ, 1983 Б.Вригт Г Х . Логика истины / / Вригт Г.Х. Логико-философские исследования М., 1986.
Карпенко А.С. Импликативные логики: решетки и конструкции / / Логические исследования. Вып. 2. М., 1993.
I . Kjiuhu С.К. Введение в метаматематику М.,1957.
Павлов С.А. Исчисление предикатов истинности и ложности. / / Логический анализ естественных языков /2-ой СоветскоФинский коллоквиум по логике. М.Д979.
Павлов СА . Логика ложности FL4 /Труды научно-исследовательского семинара логического центра Института философии РАН. 1993. М , 1994
Павлов СА . Логика с терминами 'истинно' и 'ложно' //Философские основания неклассических логик /Труды научно-исследовательского семинара по логике Института философии АН СССР М., 1990.
Смирнов В А . Утверждение и предикация. Логика высказываний и событий //Нестандартные семантики неклассических логик. М , 1986.
Asenjo F.G., Tamburino J. Logic of antinomies / / Notre Dame J. Form. Log. 1975. Vol. 16, N1.
Da Costa N.CA. Calcuis propositionnels pour les systemes formels inconsistans. C.RAcad.Sc. Paris. T.251. 1963.
Fitting M. Bilattices and the semantics of logic programming. Preprint, 1988.
MuskensRA. Meaning and partiality. Amsterdam, 1989.
Priest G. The logic of paradox. / / J.Philos. Logic, 1979. Vol.8, N2. ll.SetteA.M . On propositional calculus P3 / / Math. Jap. 1973. Vol. 18
von Wright G.H. Truth-Logics / / Logique et analyse. Nouvelle serie, 1987. Vol. 120.
Белнап Н. Как нужно рассуждать компьютеру / / Белнап Н., Стил Т. Логика вопросов и ответов. М., 1981.
Бочвар Д А . Об одном трехзначном исчислении //Математический сборник. Т.4. N 2.1938.
А.Войшвилло Е.К. Семантика релевантных логик //Разум и культура. МГУ, 1983 Б.Вригт Г Х . Логика истины / / Вригт Г.Х. Логико-философские исследования М., 1986.
Карпенко А.С. Импликативные логики: решетки и конструкции / / Логические исследования. Вып. 2. М., 1993.
I . Kjiuhu С.К. Введение в метаматематику М.,1957.
Павлов С.А. Исчисление предикатов истинности и ложности. / / Логический анализ естественных языков /2-ой СоветскоФинский коллоквиум по логике. М.Д979.
Павлов СА . Логика ложности FL4 /Труды научно-исследовательского семинара логического центра Института философии РАН. 1993. М , 1994
Павлов СА . Логика с терминами 'истинно' и 'ложно' //Философские основания неклассических логик /Труды научно-исследовательского семинара по логике Института философии АН СССР М., 1990.
Смирнов В А . Утверждение и предикация. Логика высказываний и событий //Нестандартные семантики неклассических логик. М , 1986.
Asenjo F.G., Tamburino J. Logic of antinomies / / Notre Dame J. Form. Log. 1975. Vol. 16, N1.
Da Costa N.CA. Calcuis propositionnels pour les systemes formels inconsistans. C.RAcad.Sc. Paris. T.251. 1963.
Fitting M. Bilattices and the semantics of logic programming. Preprint, 1988.
MuskensRA. Meaning and partiality. Amsterdam, 1989.
Priest G. The logic of paradox. / / J.Philos. Logic, 1979. Vol.8, N2. ll.SetteA.M . On propositional calculus P3 / / Math. Jap. 1973. Vol. 18
von Wright G.H. Truth-Logics / / Logique et analyse. Nouvelle serie, 1987. Vol. 120.