Импликативные расширения регулярных логик Клини
Article Sidebar
Опубликован:
07.04.2010
Ключевые слова:
трехзначные логики, регулярные логики Клини, импликация, расширения регулярных логик
Main Article Content
Аннотация
Семейство регулярных трехзначных логик Клини (сильная, слабая и промежуточная) рассматривается как основа для других логик. Рассматриваются расширения регулярных логик с помощью импликативных связок («естественных» импликаций). В заключение все расширения представлены в виде решетки.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Томова Н. Импликативные расширения регулярных логик Клини // Логические исследования / Logical Investigations. 2010. Т. 16. C. 233-258.
Выпуск
Раздел
Статьи
Литература
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. 1938. Т. 4. № 2. С. 287-308.
Карпенко А.С. Многозначные логики. Серия «Логика и компьютер». М.: Наука, 1997.
Клини С.К. Введение в метаматематику. М.: ИЛ, 1957.
Комендантская Е.Ю. Функциональная взаимовыразимость регулярных логик Клини // Логические исследования. Вып. 15. 2009. С. 116-128.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика. 1983. № 6. С. 113-124.
Томова Н.Е. О расширениях логики Lisp // Шестые Смирновские чтения: материалы Междунар. науч. конф., Москва, 17-19 июня 2009 г. М.: Современные тетради. 2009. С. 104-106.
Финн В.К. О предполноте класса функций, соответствующего трехзначной логике Лукасевича // Научно-техническая информация. Серия 2. 1969. № 10. С. 35-38.
Финн В.К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия и логика. М.: Наука, 1974. С. 398-438.
Финн В.К. О критерии функциональной полноты для ВЗ // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 194- 199.
Anderson А.R., Belnap N.D. Entailment: The Logic of Relevance and Necessity. Princeton University Press. 1975.
Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. 1991. Vol. 56. № 1. P. 276-294.
Batens D. Paraconsistent extensional propositional logics // Logique et Analyse. 1980. Vol. 23. № 90-91. P. 127-139.
Ebbinghaus H.-G. Uber eine pradikatenlogik mit partiell definierten Pradikaten und Funktionen // Arch. Math. Logik Grundlagenforsch. 1969. Bd. 12. P. 39-53.
Fitting M. Kleene’s three valued logics and their children // Fundamenta Informaticae. 1992. Vol. 20. P. 113-131.
Halkowska K. A note on matrices for systems of nonsense-logic // Studia Logica. 1989. Vol. 48. №4. P. 461-464.
Hallden S. The Logic of Nonsense, Uppsala, 1949.
Jaskowski S. Rahunek zdan dla systemov dedukcyjnych sprzecznych // Studia Societatis Scientiarum Torunensis. 1948. 1(5), Sectio A (Engish translation: propositional calculus for contradictory dedactive systems // Studia Logica. 1969. Vol. 24. P. 143-157)
Lukasiewicz J. О logice trojwartosciowey // Rucli Filozoflczny. 1920. Vol. 5. 170- 171.(English translation: On three-valued logic // Lukasiewicz J. Selected works. PWN. Warszawa. 1970. P. 87-88.)
Lukasiewicz J., Tarski A. Investigations into the sentential calculus // Lukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970.
Monteiro A. Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques, I // Mathematica Japonica. 1967. Vol. 12. P. 1-23.
Rasiowa H. An Algebraic Approach to Non-classical Logics. Amsterdam: North-Holland. 1974.
Resher N. Many-valued Logic. New York: McGraw-Hill. 1969.
Sette A.M. On propositional calculus P1 // Mathematica Japonica. 1973. Vol. 16. P. 173-180.
Slupecki E., Bryll J., Prucnal T. Some remarks on the three-valued logic of J. Lukasiewicz // Studia Logica. 1967. Vol. 21. P. 45-70.
Sobocinski B. Axiomatization of a partial system of three-valued calculus of propositions // The Journal of Computing Systems. 1952. Vol. 11. №1. P. 23-55.
Карпенко А.С. Многозначные логики. Серия «Логика и компьютер». М.: Наука, 1997.
Клини С.К. Введение в метаматематику. М.: ИЛ, 1957.
Комендантская Е.Ю. Функциональная взаимовыразимость регулярных логик Клини // Логические исследования. Вып. 15. 2009. С. 116-128.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика. 1983. № 6. С. 113-124.
Томова Н.Е. О расширениях логики Lisp // Шестые Смирновские чтения: материалы Междунар. науч. конф., Москва, 17-19 июня 2009 г. М.: Современные тетради. 2009. С. 104-106.
Финн В.К. О предполноте класса функций, соответствующего трехзначной логике Лукасевича // Научно-техническая информация. Серия 2. 1969. № 10. С. 35-38.
Финн В.К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия и логика. М.: Наука, 1974. С. 398-438.
Финн В.К. О критерии функциональной полноты для ВЗ // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 194- 199.
Anderson А.R., Belnap N.D. Entailment: The Logic of Relevance and Necessity. Princeton University Press. 1975.
Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. 1991. Vol. 56. № 1. P. 276-294.
Batens D. Paraconsistent extensional propositional logics // Logique et Analyse. 1980. Vol. 23. № 90-91. P. 127-139.
Ebbinghaus H.-G. Uber eine pradikatenlogik mit partiell definierten Pradikaten und Funktionen // Arch. Math. Logik Grundlagenforsch. 1969. Bd. 12. P. 39-53.
Fitting M. Kleene’s three valued logics and their children // Fundamenta Informaticae. 1992. Vol. 20. P. 113-131.
Halkowska K. A note on matrices for systems of nonsense-logic // Studia Logica. 1989. Vol. 48. №4. P. 461-464.
Hallden S. The Logic of Nonsense, Uppsala, 1949.
Jaskowski S. Rahunek zdan dla systemov dedukcyjnych sprzecznych // Studia Societatis Scientiarum Torunensis. 1948. 1(5), Sectio A (Engish translation: propositional calculus for contradictory dedactive systems // Studia Logica. 1969. Vol. 24. P. 143-157)
Lukasiewicz J. О logice trojwartosciowey // Rucli Filozoflczny. 1920. Vol. 5. 170- 171.(English translation: On three-valued logic // Lukasiewicz J. Selected works. PWN. Warszawa. 1970. P. 87-88.)
Lukasiewicz J., Tarski A. Investigations into the sentential calculus // Lukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970.
Monteiro A. Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques, I // Mathematica Japonica. 1967. Vol. 12. P. 1-23.
Rasiowa H. An Algebraic Approach to Non-classical Logics. Amsterdam: North-Holland. 1974.
Resher N. Many-valued Logic. New York: McGraw-Hill. 1969.
Sette A.M. On propositional calculus P1 // Mathematica Japonica. 1973. Vol. 16. P. 173-180.
Slupecki E., Bryll J., Prucnal T. Some remarks on the three-valued logic of J. Lukasiewicz // Studia Logica. 1967. Vol. 21. P. 45-70.
Sobocinski B. Axiomatization of a partial system of three-valued calculus of propositions // The Journal of Computing Systems. 1952. Vol. 11. №1. P. 23-55.