Обобщенная релевантная логика и модели рассуждений
Диссертация
Одной из перспективных сфер приложения обобщенной релевантной логики представляется моделирование аргументативных рассуждений. Несмотря на отмеченное родство с логикой, судьба теории аргументации складывается принципиально по-другому. С одной стороны, хорошо известно, что исследования в области анализа аргументативной деятельности стимулировали возникновение логики. С другой — за прошедшие века… Читать ещё >
Список литературы
- Андреева, Г. М. Социальная психология / Г. М. Андреева. — М.: Наука, 2001.-324 с.
- Аншаков, О.М. Логические средства экспертных систем типа ДСМ / О. М. Аншаков, Д. П. Скворцов, В. К. Финн // Семиотика и информатика. -М., 1986.- Вып. 28.-С. 65−101.
- Аристотель. Сочинения. В 4 т. Т.2 / Аристотель. М.: Мысль, 1978. -685 с.
- Барендрегт, X. Бестиповое-исчисление / X. Барендрегт // Справочная книга по математической логике. М., 1983. — Ч. 4. — С. 278−318.
- Белнап, Н. Как нужно рассуждать компьютеру / Н. Белнап // Логика вопросов и ответов / Н. Белнап, Т. Стал. М., 1981. — С. 208−239.
- Биркгоф, Г. Теория решеток / Г. Биркгоф — пер. с англ. В. Н. Салий. М.: Наука, 1984.-568 с.
- Болотов, А.Е. Ученый и время / А. Е. Болотов, Д. В. Зайцев // Вестник Моск. ун-та. Сер.7, Философия. 1993. — № 5. — С. 3−8.
- Бочаров, В.А. Введение в логику : учеб. / В. А. Бочаров, В. И. Маркин. -М.: Форум: ИНФРА-М, 2008. 553, 1. с.: ил.
- Бочаров, В.А. Основы логики / В. А. Бочаров, В. И. Маркин. М.: Космополис, 1994. — 271,1. с.: ил.
- Ю.Бочаров, В. А. Понятие, суждение, мысль / В. А. Бочаров // Смирновские чтения: 3 междунар. конф. М., 2001. — С. 109−111
- Н.Бочаров, В. А. Понятия, их формы и схемы / В. А. Бочаров //
- Современная логика: проблемы теории, истории и применения в науке: материалы VII Общерос. науч. конф. СПб., 2002. — С. 214−216.
- Брюшинкин, В.Н. Обобщенная системная модель аргументации / В. Н. Брюшинкин // Аргументация и интерпретации. Исследования по логике, истории философии и социальной философии. Калининград, 2006.-С. 11−17.
- Брюшинкин, В.Н. Системная модель аргументации / В. Н. Брюшинкин // Трансцендентальная антропология и логика: тр. междунар. семинара «Антропология с современной точки зрения» и VIII Кант, чтений. -Калининград, 2000. С. 133−155.
- Ванзинг, Г. Логика компьютерных сетей / Г. Ванзинг, Я. В. Шрамко // Логические исследования. М., 2005. — Вып. 12. — С. 119−145.
- Войшвилло, Е.К. Логика как часть теории познания и научной методологии . В 2 кн. Кн. 1 / Е. К. Войшвилло, М. Г. Дегтярев. М.: Наука, 1994.-310 с.
- Войшвилло, Е.К. Логическое следование и семантика обобщенных описаний состояний / Е. К. Войшвилло // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984. — С. 183−192.
- Войшвилло, Е.К. Понятие / Е. К. Войшвилло. М.: Изд-во Моск. ун-та, 1967.-284 с.
- Войшвилло, Е.К. Понятие как форма мышления : логико-гносеологический анализ / Е. К. Войшвилло. М.: Изд-во Моск. ун-та, 1989.-238 с.
- Войшвилло, Е.К. Релевантная логика как этап развития логики, ее философское и методологическое значение / Е. К. Войшвилло // Логические исследования. М., 1993. — Вып. 1. — С. 143−156.
- Войшвилло, Е.К. Семантика релевантной логики и вопрос о природе логических законов / Е. К. Войшвилло // Разум и культура: тр. междунар. франко-совет. коллоквиума. М., 1983. — С. 69−76.
- Войшвилло, Е.К. Символическая логика. Классическая и релевантная: филос.-методол. аспекты / Е. К. Войшвилло. М.: Высшая школа, 1989.- 149 с.
- Войшвилло, Е.К. Философско-методологические аспекты релевантной логики / Е. К. Войшвилло. М.: Изд-во Моск. ун-та, 1988. — 139 с.
- Вригт, Г. Х. фон. Логика и философия в XX веке // Вопросы философии. 1992. — № 8. — С. 80−91.
- Герасимова, И.А. Введение в теорию и практику аргументации. М.: Логос, 2007.-312 с.
- Герасимова, И.А. Практический курс по аргументации / И. А. Герасимова — Рос. акад. наук. Ин-т философии, Гос. ун-т гуманитар, наук. М.: ИФ РАН, 2003. — 237, 1. с.
- Девяткин, Л.Ю. Неклассические определения логического следования // Смирновские чтения по логике: материалы 5-ой конф. М., 2007. — С. 26−27.
- Еемерен, Ф. X. ван. Аргументация: анализ, проверка, представление: учеб. пособие / Франс X. ван Еемерен, Роберт Гроотендорст,
- Франциска Сноецк Хенкеманс. СПб.: Филол. фак. СПбГУ, 2002. -160 с.
- Еемерен, Ф.Х. ван. Аргументация, коммуникация и ошибки: пер. с англ. / Франс X. ван Еемерен, Роб Гроотендорст. — СПб.: Васильевский остров, 1992.-207 с.
- Еемерен, Ф. X. ван. Современное состояние теории аргументации / Франс X. Еемерен // Важнейшие концепции теории аргументации. -СПб.: Филол. фак. СПбГУ, 2006. С. 14−34.
- Ермолаева, Н.М. Модальные логики, определяемые эндоморфизмами дистрибутивных решеток / Н. М. Ермолаева, A.A. Мучник // Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976. — С. 229−246.
- Ермолаева, Н.М. Модальные расширения логических исчислений типа Хао Вана / Н. М. Ермолаева, A.A. Мучник // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974.-С. 172−193.
- Ермолаева, Н.М. Функционально замкнутые 4-значные расширения булевой алгебры и соответствующие логики / Н. М. Ермолаева, A.A. Мучник // Исследования по неклассическим логикам и теории множеств. М.: Наука, 1979. — С. 298−315.
- Зайцев, Д.В. Американская семантика R без звезды / Д. В. Зайцев // Материалы X Всесоюзной конференции «Логика, методология, философия науки». Минск, 1990. — С. 14−23
- Зайцев, Д.В. Аргументативные рассуждения и логика / Д. В. Зайцев // Миссия интеллектуала в современном обществе. Спб.: Изд-во С-петерб. ун-та, 2008. — С. 446−460.
- Современная логика: проблемы теории, истории и применения в науке: тез. докл. конф. СПб., 1996. — С. 15−23.
- Зайцев, Д.В. «Если., то» новая интерпретация / Д. В. Зайцев //
- Зайцев, Д.В. Логическое следование и выделенные значения / Д. В. Зайцев, Я. В. Шрамко // Логические исследования. М., 2004. — Вып. 11. -С. 126−137
- Зайцев, Д.В. Обобщенная релевантная логика и модели рассуждений / Д. В. Зайцев. М.: Креативная экономика, 2010. — 312 с.
- Зайцев, Д.В. Обобщенные модели рассуждений, инференциальная многозначность и квази-матрицы / Д. В. Зайцев // Полигнозис. — 2010. -№ 1−2.-С. 116−125.50.3айцев, Д. В. Отрицание / Д. В. Зайцев // Новая философская энциклопедия. М., 2001. — Т. 3. — С. 180.
- Знаменская H.A. Паранормальная логика PContPComp как пересечение паранепротиворечивой логики PCont и параполной логики РСотр /
- H.A. Знаменская, B.M. Попов // Шестые Смирновские чтения по логике: материалы междунар. науч. конф. М., 2009. — С. 63−65.
- Зайцев, Д.В. Релевантная логика понятий / Д. В. Зайцев // Логика и
- B.E.K.: к 90-летию со дня рождения проф. Войшвилло Евгения Казимировича. М., 2003. — С. 130−138.
- Зайцев, Д.В. Теория и практика аргументации : учеб. пособие. М.: ИД «ФОРУМ» — ИНФРА-М, 2007. — 224 с. 62.3айцев, Д. В. Теория релевантного следования I: аксиоматика / Д. В. Зайцев // Логические исследования. М., 1998. — Вып.5. — С. 119−128.
- Зайцев, Д.В. Теория релевантного следования II: Семантика / Д. В. Зайцев // Логические исследования. М., 1999. — Вып.6. — С. 109−115.
- Зайцев, Д.В. Теория релевантного следования III: Семантика / Д. В. Зайцев // Логические исследования. М., 2001. — Вып.8. — С. 38−50.
- Зайцев, Д.В. Философская логика и аргументация / Д. В. Зайцев // Полигнозис. -2009. № 1. — С. 3−11.
- Ивин, A.A. Теория аргументации : учеб. пособие / А. А. Ивин. М.: Гардарики, 2000. — 414 с.
- Ивлев, Ю.В. Теория и практика аргументации / Ю. В. Ивлев. М.: Проспект, 2009. — 288 с.
- Ишмуратов, А.Т. О паранепротиворечивой логике / А. Т. Ишмуратов, A.C. Карпенко, В. М. Попов // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989. — С. 261−284.
- Карпенко, A.C. Введение в многозначную пропозициональную логику / A.C. Карпенко. М.: ИФ РАН, 2003 — 112 с.
- Карпенко, A.C. Истинностные значения: что это такое? / A.C. Карпенко // Исследования по неклассическим логикам. М.: Наука, 1989. — С. 3853.
- Карпенко, A.C. Предмет логики в свете основных тенденций ее развития / A.C. Карпенко // Логические исследования. М., 2004. — Вып. 11.-С. 149−171.
- Карри, Х. Б. Основания математической логики / Х. Б. Карри. М.: Мир, 1969.-528 с.
- Критическое мышление, логика, аргументация: сб. ст. /Калинингр. гос. ун-т, Каф. философии и логики.- Моск. гос. ун-т им М. В. Ломоносова — под. ред. В. Н. Брюшинкина, В. И. Маркина. -Калининград: изд-во Калинингр. гос. ун-та, 2003. 172, 1. с.: ил.
- Кузина, Е.Б. Лекции по теории аргументации / Е. Б. Кузина. М.: Изд-во Моск. ун-та, 2007. — 136 с.
- Максимова, Л.Л. Некоторые вопросы исчисления Аккермана / Л. Л. Максимова // Доклады АН СССР. 1967. — Т.175, № 6. — С. 1222−1224.
- Максимова, Л.Л. О-теориях / Л. Л. Максимова // Алгебра и логика, 1970. Т9, № 5. — С. 320−325.
- Максимова, Л.Л. Семантика и теоремы отделения для логических исчислений Е и R / Л. Л. Максимова // Алгебра и логика. — 1971. Т.10, № 4.-С. 232−241.
- Орлов, И.Е. Исчисление совместности предложений / И. Е. Орлов // Математический сборник. 1928. — Т. 35, вып. ¾. — С. 263−286.
- Панкратов, Д.В. О некоторых модификациях логики аргументации / Д. В. Панкратов // Научно-техническая информация. Сер. 2., Информационные процессы и системы — 1999. № 1−2. — С. 76−82.
- Плоткин, Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. М.: Наука, 1991. — 446 с.: ил.
- Погожина, И.Н. Экспериментальное исследование влияния личностных особенностей коммуникатора на убедительность аргументации / И. Н. Погожина, A.A. Панкратова // Вестник Моск. ун-та. Сер. 14, Психология. 2005. — № 4. — С. 43−48.
- Попов, В.М. Аналитические формулировки и модели Крипке некоторых пропозициональных логик первопорядкового следования // Релевантные логики и теории следования: материалы 2-го Советско-фин. коллоквиума по логике. М., 1979. — С. 47−51.
- Попов, В.М. О разрешимости релевантной логики RAO / В. М. Попов // Модальные и интенсиональные логики. М., 1978. — С. 115−119.
- Попов, В. М. Система И.Е. Орлова и релевантные логики / В. М. Попов // Философские проблемы истории логики и методологии науки. М., 1986.-4.1.-С. 93−98.
- Расева, Е. Математика метаматематики / Е. Рассева, Р. Сикорский. М.: Наука, 1972.-591 с.
- Роутлей Р. Семантика следования / Р. Раутлей, Р. Мейер // Семантика модальных и интенсиональных логик. М., 1981. — С. 363−423.
- Сидоренко, Е.А. Логическое следование и условные высказывания / Е. А. Сидоренко. М.: Наука, 1983. — 173 с.
- Сидоренко, Е.А. Релевантная логика : предпосылки, исчисления, семантика / Е. А. Сидоренко. М.: ИФРАН, 2000. — 243 с.
- Сидоренко, Е.А. Реляционная семантика релевантных исчислений / Е. А. Сидоренко // Логические исследования. М., 1995. — Вып. 3. — С. 5371.
- Смирнов, В.А. Логические методы анализа научного знания / Е. А. Смирнов. М.: Наука, 1987. — 263 с.
- Смирнов, В.А. Логические методы сравнения научных теорий / Е. А. Смирнов // Вопросы философии. 1983. — № 6. — С. 80−90.
- Смирнов, В.А. Теория логического вывода / В. А. Смирнов. М.: РОССПЭН, 1999.-318 с.
- Смирнов, В.А. Формальный вывод и логические исчисления / Е. А. Смирнов. М.: Наука, 1972. — 272 с.
- Смирнова, Е.Д. Логическая семантика и философские основания логики / Е. Д. Смирнова. М.: Изд-во Моск. ун-та, 1986. — 160 с.
- Смирнова, Е.Д. Логика и философия / Е. Д. Смирнова. М.: Росспэн, 1996.-299,3. с.
- Сорина, Г. В. Принятие решений как интеллектуальная деятельность / Г. В. Сорина. 2-е изд. — М.: Канон +, 2009. — 272 с.
- Стяжкин, Н.И. Формирование математической логики / Н. И. Стяжкин. М.: Наука, 1967. — 508 с.
- Финн, В.К. О некоторых модификациях логики аргументации / В. К Финн, Д. В. Панкратов // Смирновские чтения: 2 междунар. конф. -М., 1999.-С. 29−34
- Финн, В.К. Об интеллектуальном анализе данных / В. К. Финн // Новости искусственного интеллекта. 2004. — № 3. — С. 3−18
- Финн, В.К. Об одном варианте логики аргументации / В. К. Финн // Научно-техническая информация. Сер. 2., Информационные процессы и системы 1996. — № 5−6. — С. 3−19.
- Финн, В.К. Синтез познавательных процедур и проблема индукции / В. К. Финн // Научно-техническая информация. Сер. 2., Информационные процессы и системы 1999. — № 1−2. — С. 8−45.
- Финн, В.К. Стандартные и нестандартные логики аргументации I. / В. К. Финн // Логические исследования. М., 2006. — Вып. 13. — С. 157−189.
- Фишер, Р. Путь к согласию, или Переговоры без поражения / Роджер Фишер, Уильям Юри. М.: Наука, 1992. — 158 с.
- Фреге, Г. Логика и логическая семантика : сб. тр. / Готлоб Фреге — пер. с нем. В. Б. Бирюкова. М.: Аспек-Пресс, 2000. — 512 с.
- Фреге, Г. Логические исследования / Готлоб Фреге. Томск: Водолей, 1997.- 127 с.
- Фреге, Г. Логические исследования. Часть третья: структура мысли / Готлоб Фреге / / Логика и логическая семантика: сб. тр. / Готлоб Фреге. М., 2000. — С. 356−370.
- Фреге, Г. Размышления о смысле и значении / Готлоб Фреге // Логика и логическая семантика: сб. тр. / Готлоб Фреге. М., 2000. — С. 247−252.
- Шалак, В.И. Альтернативное определение логического следования / В. И, Шалак // Логические исследования. — М., 2006. -Вып. 13. С. 274−286.
- Швырев, B.C. Теория / B.C. Швырев // Новая философская энциклопедия: в 4 т. М.: Мысль, 2001. — Т. 4. — С. 42−45.
- Шрамко, Я.В. Логическое следование и интуиционизм : проблема релевантизации интуиционистской логики / Я. В. Шрамко — НАН Украины- Институт философии. — Киев: ВИЛО Л, 1997. — 179с.
- Шрамко, Я.В. Обобщенные истинностные значения: решетки и мультирешетки / Я. В. Шрамко // Логические исследования. М., 2002. -Вып. 9.-С. 264−291.
- Шрамко, Я.В. Релевантная логика сохраняет не-ложность (чисто семантическое доказательство) / Я. В. Шрамко // Вестник Моск. ун-та. Сер. 7, Философия. 1994. — № 1. — С. 61−64.
- Abbot, J.C. Semi-Boolean algebra / J.C. Abbot // Matematichiski Vesnik. 1967. — № 4 (19). — P. 177−198.
- Ackerman, W. Bergiindung einer strengen Implikation / W. Ackerman // The Journal of symbolic logic. 1956. — Vol.21, № 2. — P. 113−28.
- Alternative logics. Do sciences need them? / ed. by Paul A. Wiengartner. Berlin — Heidelberg — New York: Springer, 2003. — 361 p.
- Amgoud, Leila. Agents that argue and explain classifications / Leila Amgoud, Mathieu Serrurier // Journal of autonomous agents and Multi-Agents Systems. 2008. — Vol.16, № 2.- P. 187−209.
- Amgoud, Leila. A formal framework for handling conflicting desires / Leila Amgoud // 7th European Conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU-2003). Aalborg, 2003. — P. 552−563.
- Amgoud, Leila. On bipolarity in argumentation frameworks / Leila Amgoud, Claudette Cayrol, Marie-Christine Lagasquie, Pierre Livet // International journal of intelligent systems. 2008. — Vol. 23. — P. 1−32.
- Amgoud, Leila. A reasoning model based on the production of acceptable arguments / Leila Amgoud, Claydette Cayrol // Annals of mathematics and artificial intelligence. 2002. — № 34. — P. 197−215.
- Anderson, Alan Ross. Entailment: the logic of relevance and necessity. In 2 vol. / by Alan Ross Anderson, Nuel D. Belnap, Jr.- with contributions by J. Michael Dunn. Princeton (N.J).: Princeton University Press, 1975−1992.
- Anscombre, J.C. L’argumentation dans la langue / Jean-Claude Anscombre, Oswald Ducrot. Bruxelles: P. Mardaga, 1983. — 184 p.: ill.
- Aqvist, Lennart. A new approach to the logical theory of interrogatives / Lennart Aqvist. Uppsala, 1965. — 221 p.
- Arieli, O. Bilattices and paraconsistency / O. Arieli, A. Avron // Frontiers of paraconsistent logic / ed. by Diderik Batens. et al. -Baldock, Hertfordshire (England), 2000 P. 11−27.
- Arieli, O. Logical bilattices and inconsistent data / O. Arieli, A. Avron. // Proceedings 9th IEEE Annual Symposium on logic in computer science, IEEE Press. Edinburg, 1994. — P. 46876.
- Arieli, O. Reasoning with logical bilattices / O. Arieli, A. Avron // Journal of logic, language and information. 1996. — Vol.5, № 1. — P. 25−63.
- Atkinson, K. Justifying practical reasoning / K. Atkinson, T. Bench-Capon, P. McBurney // Workshop on computational models of natural argument (CMNA). Valencia, 2004. — P. 87−90.
- Avron, Arnon. The structure of interlaced bilattices / Arnon Avron // Mathematical structures in computer science. Cambridge, 1996. — № 6. — P. 287−299.
- Barendregt, H.P. Lambda calculi with types / H.P. Barendregt // Handbook of logic in computer science. Vol. 2. — Oxford, 1992. — P. 4184.
- Barendregt, H.P. The lambda calculus: its syntax and semantics / H.P. Barendregt.- Amsterdam — New York: North-Holland Pub. Co. — New York: Sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981. -xiv, 615 p.: ill.
- Barth, E.M. From axiom to dialogue: a philosophical study of logics and argumentation / E.M. Barth, E.C.W. Krabbe. Berlin — New York: W. de Gruyter, 1982. — xl, 337 p.
- Belnap, N.D. A useful four-valued logic / N.D. Belnap // Modern uses of multiple-valued logic / ed. by J. M. Dunn, G. Epstein. Dordrecht, 1977.- P. 8−37.
- Belnap, N. D. How a computer should think / N.D. Belnap I I Contemporary aspects of philosophy / ed. by G. Ryle. Stocksfield, 1977 -P. 30−55.
- Bench-Capon, Trevor J. M Argument based explanation of the British Nationality act as a logic program / T.J.M. Bench-Capon, F.P. Coenen, P. Orton // Computers, law and AI. 1993. — Vol. 2, № 1. — P. 53−66.
- Bench-Capon, Trevor J.M. Argumentation / T.J.M. Bench-Capon, H. Prakken // Information technology & lawyers: advanced technology in the legal domain, from challenges to daily routine. Berlin, 2006. — P. 61−80.
- Bench-Capon, Trevor J.M. Computational models, argumentation theories and legal practice / T.J.M. Bench-Capon, J.B. Freeman, H. Hohmann, H. Prakken // Argumentation machines: new frontiers in argument and computation. Boston, 2004. — 85−120.
- Bench-Capon, Trevor J.M. Deep models, normative reasoning and legal expert systems / T.J.M. Bench-Capon // Proceedings of 2nd International Conference on AI and the law. Vancouver, 1989. — P. 37−45.
- Bench-Capon, Trevor J.M. Developing heuristics for the argument based explanation of negation / T.J.M. Bench-Capon, P.H. Leng // Logic programs proceedings of the AAAI-Workshop on computational dialectics. -Seattle, 1994.-P. 1−8.
- Bench-Capon, Trevor J.M. Persuasion in practical argument using value-based argumentation frameworks / T.J.M. Bench-Capon // Journal of Logic and Computer. 2003. — Vol. 13, № 3. — P. 429−448.
- Bench-Capon, Trevor J.M. PLAID Proactive legal assistance / T.J.M. Bench-Capon, G. Staniford // Proceedings of the Fifth International Conference on AI and law. — New York, 1995. — P. 81−88.
- Bench-Capon, Trevor J.M. Support for policy makers: formulating legislation with the aid of logical models / T.J.M. Bench-Capon // 1st International Conference on AI and the Law. Boston, 1987. — P. 181−189.
- Bench-Capon, Trevor J.M. Using toulmin’s argument schema to explain logic programs / T.J.M. Bench-Capon, D. Lowes, A.M. McEnery // Knowledge based systems. 1991. — Vol. 4, No 3. — P. 177−183.
- Bench-Capon, Trevor. J.M. Value based argumentation frameworks / T.J.M. Bench-Capon // Proceedings of non monotonic reasoning. -Toulouse (France), 2002. Vol.24. — P. 444−453
- Beziau, Jean-Yves. Universal logic / Jean-Yves Beziau // Logica-94. Proceedings of the 8th International Symposium. Prague, 1994. — P. 73−93.
- Beziau, Jean-Yves. What is «formal logic» Электронный ресурс. / Jean-Yves Beziau // Revista Brasileira de Filosofla. 2009. — № 232.
- URL: http://www.ivb-logic.org/ivb-form-final-sp.pdf (дата обращения: 26.02.2012).
- Bialynicki-Birula, A. On the representation of quasi-Boolean algebras / A. Bialynicki-Birula, H. Rasiowa // Bulletin de l’Academie Polonaise des Sciences. 1957. — Classe 3, № 5. — P. 259−261.
- Bochman, A. Biconsequence relations: a four-valued formalism of reasoning with inconsistency and incompleteness / A. Bochman // Notre Dame: Journal of Formal Logic. 1998. — Vol. 39, № 1. — P. 47−73.
- Bochman, A. Explanatory nonmonotonic reasoning / Alexander Bochman. -Hackensack, NJ: World Scientific, 2005. xiv, 408 p.
- Bondarenko, A. G. An abstract, argumentation-theoretic approach to default reasoning / A.G. Bondarenko, P. M. Dung, R. A Kowalski, F. Toni // Articial Intelligence. 1997. — Vol. 93. — № 1−2. — P. 63−101.
- Bergman, Christina. Jason: a Java-based Agent Speak interpreter used with saci for multi-agent distribution over the net / Christina Bergman, Manoela Ilic. Lisboa, 2005. — 22 p.
- Bunder, M.W. Combinators, proofs and implicational logics / M.W. Bunder // Handbook of philosophical logic / ed. by D.M. Gabbay and F. Guenthner. Dordrecht- Boston, 2002.- P. 229−286.
- Cayrol, C. On decision problems related to the preferred semantics for argumentation framework / C. Cayrol, S. Doutre, M. Jerome // Journal of logic and computation. -2003. Vol. 13, № 3. — P. 377−403.
- Chesnevar, C. Logical models of argument / C. Chesnevar, A. Maguitman, R. Loui //ACM Computing Surveys. 2001. — Vol. 32. — P. 337 383.
- Church, Alonco. The calculi of lambda-conversion / Alonzo Church. -Princeton: Princeton university press, 1941. — 77 p., ill.
- Curry, H.B. Combinatory logic. In 2 vol. / Haskell B. Curry, Robert Feys. Amsterdam: North-Holland Pub. Co., 1958−1972.
- Curry, H.B. Functionality in combinatory logic / Haskell B. Curry // Proceedings of National Academy of Science USA. 1934 — № 20. — P. 584−590.
- Dijkstra, P. Towards a multi-agent system for regulated information exchange in crime investigations / P. Dijkstra, F.J. Bex, H. Prakken, C.N.J. De Vey Mestdagh // Artificial Intelligence and Law. — 2005. — Vol. 13. P. 133−151.
- Dunn, J. M. The algebra of intensional logics: PhD diss. / J. Michael Dunn — University of Pittsburgh. Ann Arbor, 1966. — 177 p.
- Dunn, J.M. Algebraic Methods in Philosophical logic / J. Michael Dunn, Gary M. Hardegree. Oxford — New York: Oxford University Press, 2001.-xv, 470 p.: ill.
- Dung, P. M. An Argumentation theoretic foundation of logic programming / Phan Ming Dung // Journal of Logic Programming. — 1995. -Vol. 22, № 2.-P. 151−177.
- Dung, P. M. An argumentation semantics for logic programming with explicit negation / Phan Ming Dung // OCLP'93: proceedings of the tenth international conference on logic programming on Logic programming. -Cambridge (MA), 1993. P. 616−630.
- Dunn, J.M. Combinators and structurally free logic / J. Michael Dunn, R.K. Meyer // Logic Journal of IGPL. 1997. — Vol. 5, № 4. — P. 505−537.
- Dung P.M. A Dialectic procedure for skeptical assumption-based argumentation / P.M. Dung P.M., P. Mancarella, F. Toni // First International Conference on Computational Models of Argument (COMMA 2006). Liverpool, 2006. — P. 112−127.
- Dung, P.M. Dialectic proof procedures for assumptionbase, admissible argumentation / P.M. Dung, R.A. Kowalski, F. Toni // Artificial Intelligence. 2006. — Vol. 170. — P. 114−159.
- Dunn, J. M. Intuitive semantics for first-degree entailment and «coupled trees» / J. Michael Dunn // Philosophical Studies. 1976. — Vol. 29.-P. 149−168.
- Dunn, J.M. An intuitive semantics for first degree relevant implications (abstract) / J. Michael Dunn // The Journal of Symbolic Logic. -1971.- Vol. 36. P. 362−363.
- Dung, P. M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming and n-person games / Phan Ming Dung // Artificial Intellegence. 1995. — Vol. 77, № 2. — P. 321−357.
- Dunn, J.M. Relevance logic / J. Michael Dunn, G. Restall// Handbook of Philosophical Logic. 2nd ed. — Dordrecht, 2002. — Vol. 6. — P. 1−136.
- Dunn, J.M. Relevance logic and entailment//Handbook of Philosophical Logic / J. Michael Dunn / ed. by D. Gabbay and F.Guenthner. 1986.-Vol. 3.-P. 117−224.
- Dung, P. M. Two party immediate response disputes: properties and efficiency / P. M. Dung, T.J.M. Bench-Capon // Artificial Intelligence. -2003. Vol. 49. — P.221−250.
- Ferguson, K. G. Monotonicity / Keneth G. Ferguson // Practica reasoning argumentation. 2003. — Vol. 17, № 3. — P. 335−346.
- Fitting, M. Bilattices and the semantics of logic programming / Melvin C. Fitting // Journal of Logic Programming. 1991. — Vol. 11. — P. 91−116.
- Fitting, M. Bilattices and the theory of truth / Melvin C. Fitting // Journal of Philosophical Logic. 1989. — Vol. 18. — P. 225−256.
- Fitting, M. Bilattices are nice things / Melvin C. Fitting // Self-Reference: CSLI publications / ed. by V. F. Hendricks, S. A. Pedersen, T. Bolander. Cambridge, 2004. — P. 53−77
- Fitting, M. Bilattices in logic programming / Melvin C. Fitting // The Twentieth International symposium on multiple-valued logic. Charlotte (North Carolina), 1990. — P. 238−246.
- Fitting, M. Kleene’s logic, generalized / Melvin C. Fitting // Journal of Logic and Computation. 1991. — Vol. 1, № 6. — P. 797−810.
- Fitting, M. Kleene’s three-valued logic and their children / Melvin C. Fitting // Fundamenta Informaticae. 1994. — Vol. 20. — P. 113−131.
- Frankowski, S. Formalizing a plausible inference / S. Frankowski // Bulletin of the Section of Logic. 2004. — Vol. 33. — P. 41−52.
- Ginsberg, M. Multi-valued logics / Matthew Ginsberg // Proceedings of AAAI-86: Fifth National Conference on Artificial Intellegence. Los Altos, 1986.-P 243−247.
- Ginsberg, M. Multivalued logics: a uniform approach to reasoning / Matthew Ginsberg // Computer Intelligence. 1988. — Vol. 4. — P. 256−316.
- Girard J.-Y. Linear logic / J.-Y. Girard // Theoretical Computer Science. 1987. -Vol. 50. — P. 1−101.
- Gordon, T.F. The Carneades model of argument and burden of proof / T.F. Gordon, H. Prakken, D.N. Walton // Artificial Intelligence. 2007. -Vol. 171.-P. 875−896.
- Gordon, T.F. Oblog-2: a hybrid knowledge representation system for defeasible reasoning / T.F. Gordon // Proceedings of the First International
- Conference on Artificial Intelligence and Law (May 1987). New York, 1987.-P. 231−239.
- Gordon, T. F. The pleadings game: an artificial intelligence model of procedural justice / Thomas F. Gordon. Dordrecht- Boston: Kluwer Academic Publishers, 1995. — xiii, 245 p.
- Gottwald, S. A treatise on many-valued logics / Siegfried Gottwald. — Baldock (Hertfordshire, England) — Philadelphia (PA): Research Studies Press, 2001.-xii, 604 p.
- Groenendijk, J. Questions / J. Groenendijk, M. Stokhof// Handbook of Logic and Language / ed. by Johan van Benthem, Alice ter Meulen. -Amsterdam, 1997.-P. 1055−1124.
- Hage, J. C. Hard cases: a procedural approach / Jaap C. Haag, Ronald Leenes, Arno R. Lodder // Artificial Intelligence and Law. 1993. — Vol. 2, № 2.-P. 113−167.
- Hage, J. C. Monological reason based logic / Jaap C. Hage // Proceedings of the Fourth International Conference on Law and Artificial Intelligence. New York, 1993. — P. 30−39.
- Hage, J. C. Reason-based Logic: a logic for reasoning with rules and reasons / Jaap C. Hage, Bart Verheij // Law, Computers & Artificial Intelligence. 1994. — Vol. 3. — № 2/3. — P. 171−209.
- Hamblin, C.L. Questions / C.L. Hamblin // Australian Journal of philosophy. 1958. — № 36. — P. 159−68.
- Hamblin, C.L. Questions in Montague English / C.L. Hamblin // Foundation of language. 1973. — № 10. — P. 41 -53.
- Handbook of the logic of argument and inference: the turn towards the practical / ed. by Dov Gabbay. et al.- New York: Elsevier, 2002.792 p.
- Harrah, D. The logic of questions / D. Harrah // Handbook of philosophical logic / ed. by D.M. Gabbay, F. Guenthner. Dordrecht, 1984. -Vol.2 — P. 715−764.
- Hart, H.L. A. The ascription of responsibility and rights / Herbert Lionel Adolphus Hart // Proceedings of the Aristotelean Society. London, 1948.-Vol. 49.-P. 171−194.
- Hindley, J. Rodgers. Introduction to combinators and X-calculus. / J. Roger Hindley, Jonathan P. Seldin. Cambridge Cambridgeshire. — New York: Cambridge University Press, 1986. — 360 p.: ill.
- Hindriks, K.V. Agent programming in 3 APL / Koen V. Hindriks, Frank S. De Boer, Wiebe Van der Hoek, John-Jules Ch. Meyer // Autonomous agents and multi-agent systems. 1999. — Vol.2., № 4. — P. 357−401.
- Hintikka, J. New foundations for a theory of questions and answers / Jaakko Hintikka // Questions and Answers. Dordrecht, 1983. — P. 159 190.
- Hintikka, J. The semantics of questions and the questions of semantics. Helsinki, 1976. — 200 p. — (Acta Philosophica Fennica — Fasc. XXVIII, № 4).
- Johnson, Ralph H. Logical self-defense / Ralph H. Johnson, J. Anthony Blair. Toronto — New York: McGraw-Hill Ryerson, 1977. — xiv, 236 p.
- Knuth, D. E. Backus normal form vs. Backus Naur-Form / Donald E. Knuth // Communications of the ACM. 1964. — Vol. 7, № 12. — P. 735 736.
- Kraus, S. Reaching agreements throughs argumentation: a logical model and implementation / S. Kraus, K. Sycara, A. Evenchik // Artificial Intelligence. 1998. — Vol. 104. — P. 1−69.
- Lodder, A. Dialaw: a dialogical framework for modelling legal reasoning / A. Lodder, A. Herzog // Proceeding of the 5th International conference on «Artificial Intelligence and law». New York, 1995. — P. 146 155.
- Lodder, A. DiaLaw: on legal justification and dialogical models of argumentation / Arno R. Lodder. Dordrecht- Boston: Kluwer Academic Publishers, 1999.- xii, 198 p.
- Loui, R.P. Defeat among arguments: a system of defeasible inference / R.P. Loui // Computational Intelligence. 1987. — Vol. 3, № 1. — P. 100 106.
- Loui, R. P Process and policy: resource-bounded nondemonstrative argument / R.P. Loui // Computational Intelligence. 1998. — Vol. 14, № 1. -P. 1−38.
- Maksimova, L.L. An interpolation and separation theorem for the logical systems e and r / L.L. Maksimova // Algebra and Logic. 1971. -Vol. 10.-P. 232−241.
- Maksimova, L. L. A semantics for the calculus E of entailment / L.L. Maksimova // Bulletin of the section of logic. 1973. — Vol. 2. — P. 18−21.
- Malinowski, G. Q-consequence operation / G. Malinowski // Reports on mathematical logic. 1990. — Vol. 24. — P. 49−59.
- Malinowski, G. Towards the concept of logical many-valuedness/ G. Malinowski // Folia Philosophica. 1990. — Vol. 7. — P. 97−103.
- McCarty, L.T. A computational theory of legal argument: technical Report / L. T. McCarty, N. S. Sridharan // LRP-TR-13. Laboratory for Computer Science Research. New Brunswick, 1982. — P. 1−36.
- Meyer R.K. A Boolean-Valued Semantics for R // Research Papers of Logic Group, Dept. oh Philosophy, Research School of Social Sciences, Australian National University, № 4., 1979.
- Meyer, R.K. Career inductive stops here (and here =2) / R.K. Meyer // Journal of philosophical logic. 1979. — Vol. 8. — P. 361−371.
- Meyer, R.K. Intuitionism, entailment, negation / R.K. Meyer // Truth, Syntax and Modality / ed. by H.Leblanc. New York, 1973. — P. 168−198.
- Meyer, R.K. New axiomatics for relevant logics / R.K. Meyer // Journal of philosophical logic. 1974. — Vol. 3. — P. 53−86.
- Nute, D. Defeasible logics / D. Nute // Handbook of logic in Artificial Intellegence and logic Programming. Oxford, 1994. — Vol. 3. — P. 355 395.
- Odintsov, S.P. Constructive negations and paraconsistency / Sergei P. Odintsov. New York: Springer, 2008. — 228 p.
- Odintsov, S.P. On axiomatizing Sramko-Wansing's logic / S.P. Odintsov // Studia Logica. 2009. — Vol. 91. — P. 407−428.
- Parson, S. Agent that reason and negotiate by arguing / S. Parson, C. Sierra, N.R. Jennings // Journal of Logic and Computation. 1998. — Vol. 8, № 3. — P. 261−292.
- Perelman, C. La nouvelle rhetorique: traite de 1'argumentation / C. Perelman, L. Olbrechts-Tyteca Bruxells: l’Universite de Bruxelle, 1958. -286 p.
- Pollock, J. L. Defeasible reasoning / J.L. Pollock // Cognitive Science, 1987.-Vol. 11.-P. 481−518.
- Pollock, J.L. How to reason defeasibly / J.L. Pollock // Artificial Intellegence. 1992. — Vol. 57. — P. 1−42
- Pollock, J. Knowledge and justification / John L. Pollock. Princeton (N.J.): Princeton University Press, 1974. — xii, 348 p.
- Pollock, J. L. A theory of defeasible reasoning / J.L. Pollock // International Journal of Intelligent Systems Volume. 1991. — Vol. 6. — P. 33−54 .
- Prakken, H. AI & Law: logic and argument schemes/ H. Prakken // Argumentation. 2005. — Vol. 19. — P. 303−320.
- Prakken, H. Argument-based logic programming with defeasible priorities / H. Prakken, G. Sartor // Journal of Applied Non-classical Logics. 1997.-Vol. 7.-P. 25−75.
- Prakken, H. Coherence and flexibility in dialogue games for argumentation / H. Prakken // Journal of Logic and Computation. — 2005. -Vol. 15.-P. 1009−1040.
- Prakken, H. Dialogues about the burden of proof / H. Prakken, C. Reed, D.N. Walton // Proceedings of the Tenth International Conference on Artificial Intelligence and Law.- Bologna, 2005. P. 115−124.
- Prakken, H. Logics for defeasible argumentation / H. Prakken, G.A.W Vreeswijk // Handbook of philosophical logic / ed. by D. Gabbay, F. Guenthner. Dordrecht- London, 2002. -Vol. 4. — P. 219−318.
- Prakken, H. Logical tools for modelling legal argument: a study of defeasible reasoning in law / Henry Prakken. Dordrecht- Boston: Kluwer Academic Publishers, 1997. — xiii, 314 p.
- Prakken, H. The role of logic in computational models of legal argument a Critical Survey / H. Prakken, G. Sartor // Computational logic: from logic programming into the future: in honor of Bob Kowalski. -Berlin, 2001 P. 342−380.
- Prakken, H. The three faces of defeasibility in the law / H. Prakken, G. Sartor // Ratio Juris. 2004. — Vol. 17, № 1.- P. 118−139.
- Priest G. Introduction: paraconsistent logics / G. Priest, R. Routley // Studia Logica. 1984. — Vol.43, № ½. — P. 3−16.
- Priest, G. Paraconsistent Logic / G. Priest // Handbook of philosophical logic / ed. by D. Gabbay, F. Guenthner. Dordrecht- London, 2002. — Vol. 6. — P. 287−393./i 11
- Rahwan, I. Argumentation-base negotiation /1. Rahwan, S.D. Ramchurn, N.R. Jennings, P. McBurney, S. Parsons, and L. Sonenberg // The Knowledge engineering review. — Vol. 18, № 4. — P. 343−375--
- Rahwan I. On Interest-Based Negotiation / Iyad Rahwan, Liz Sonenberg, and Frank P.M. Dignum // Advances in Agent Communication. -2004.- Vol. 2922.-P. 383−401. -
- Ramsey, E.P. The foundations of mathematics and other logical essays / Frank Plumpton Ramsey — ed. by R.B. Braithwaite. London: K. Paul, Trench, Trubner & Co, 1931.- xviii, 292 p.
- Rao, A. S. Decision procedures for BDI logics / A.S. Rao, M. P. George // Journal of logic and computation. 1998. — Vol. 8, № 3. — P. 293 342.
- Rasiowa, H. The mathematics of metamathematics / H. Rasilova, R. Sikorski. Warszawa: Panstwowe Wydawn. Naukowe, 1963. — 519 p.
- Rasiowa, H. An algebraic approach to non-classical logics / Helena Rasiliva. Warszawa: Polish Scientific Publishers, 1974. — xv, 403 p.
- Relevant logics and their rivals: Part. 1 The basic philosophical and semantical theory / ed. by R.R. Routley, V. Plumwood, R.K. Meyer. -Atascadero (CA): Ridgeview Pub. Co., 1982. 382 p :--
- Restall, G. Display Logic and Gaggle Theory / G. Restall // Reports on Mathematical Logic. 1995. — Vol. 29. — P. 133−146. /
- Restall, G. An introduction to substructural logics / Greg Restall. -London — New York: Routledge, 2000. xiv, 381 p.
- Restall, G. A useful substructural logic / G. Restall // Bulletin of the Interest Group in Pure and Applied Logic. 1994. — Vol. 2, № 2. — P. 135 146.
- Routley, R. The American plan completed: alternative classical-style semantics, without stars, for relevant and paraconsistent logics / Richard Routley // Studia logica. 1984. — Vol. 43. — P. 131−158.
- Routley, R. Exploring Meinong’s jungle and beyond: an investigation of noneism and the theory of items / Richard Routley.- Canberra: Research School of Social Sciences, Australian National University, 1980. xix, 1035 p.
- Routley, R. Semantics of entailment / Richard Routley, Robert K. Meyer // Truth, syntax and modality: proceedings of the Temple University Conference on Alternative Semantics / ed. by Hugues Leblanc. — Amsterdam, 1973. P. 194−243.
- Routley, R. Semantics of frstdegree entailment / Richard Routley, Valerie Routley // Nous. 1972. — Vol. 3. — P. 335−359.
- Schonfinkel, M. Uber die Bausteine der matematischen Logik // Mathematischen Annalen. 1924. — Bd. 92. — P. 305−316.
- Shramko, Y. Entailment Relations and/as truth values / Y. Shramko, H. Wansing // Bulletin of the Section of Logic. 2007. — Vol. 36, № ¾. P. 131−143.
- Shramko, Y. Hyper-contradictions, generalized truth values and logics of truth and falsehood / Y. Shramko, H. Wansing // Journal of Logic, Language and Information. 2006. — Vol. 15. — P. 403−424.
- Shramko, Y. Some useful 16-valued logics: how a computer network should think / Y. Shramko, H. Wansing // Journal of Philosophical Logic. -Vol. 34, № 2.-P. 121−153.
- Shramko, Y. The trilattice of constructive truth values / Y. Shramko, J.M. Dunn, T. Takenaka // Journal of Logic and Computation. 2001. — Vol. 11.-P. 761−788.
- Subrahmanian S. A general framework for reasoning about1 inconsistency / S. Subrahmanian, L. Amgoud // 20th International Joint Conference on Artificial Intelligence (IJCAI'2007). Hyderabad (India), 2007.-P. 505−599.
- Thistlewaite, P.B. Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer.- London: Pitman — New York: Wiley, 1988. 154 p.: ill.
- Toulmin, S.E. The uses of argument / Stephen E. Toulmin. — Cambridge (U.K.) — New York: Cambridge University Press, 1958. xiv, 247 p.
- Urquhart, A. Basic many-valued logics / A. Urquhart // Handbook of Philosophical Logic. 2002. — Vol. 2. — P. 253−254.
- Verheij, В. Automated assistance for lawyers / B. Verheij // Proceedings of the Seventh International Conference of Artificial Intellegence and Kaw. London, 1999. — P. 43−52.
- Vreesweijk, G.A.W. Absrtact argumentation systems / Gerard A. W. Vreesweijk // Artificial Intellegence. 1997. — Vol. 90. — P. 225−279.
- Vreeswijk, G.A.W., H. Prakken. Credulous and Sceptical Argument Games for Preferred Semantics / Gerard A.W. Vreeswijk, Henry Prakken // Proc. JELIA'2000, pp 239−253. LNAI 1919, 2000.
- Wajsberg, M. Metalogische Beitrage / WajsbergM. //Wiadomosci Matematyczne. 1937. — Vol. 43. — S. 131−168.
- Wansing, H. A note on two ways of defining a many-valued logic / H. Wansing, Y. Shramko // Logica Yearbook. 2007 / ed. by M. Peils. Prague, 2008.-P. 255−266.
- Wansing, H. Suszko’s thesis, inferential many-valuedness, and the notion of a logical system // Studia Logica. 2008. — Vol. 88, № 3. — P. 405−429.
- Wooldridge, M. l, On the meta-logic of arguments / M.J. Wooldridge, P. McBurney, S. Parsons // Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. — Brooklin (USA), 2005. -P.560−567.
- Zaitsev, D.V. A few more Usefull 8-valied logics for reasoning with tetralattice EIGHT4 / Dmitry V. Zaitsev // Studia Logica. 2009. — Vol. 92.. -P. 265−280.
- Zaitsev, D.V. Intuitive 'approximate' semantics for FDE /Dmitry V. Zaitsev // Шестые Смирновские чтения: материалы Международной научной конференции (Москва, 17−19 июня 2009). М., 2009. — С. 60
- Zaitsev, D. V Relevant generalization starts Here (and Here = 2)1 Dmitry Zaitsev, Oleg Grigoriev // Logic and Logical Philosophy. 2010. -Vol. 19.-P. 329−340.
- Zaitsev, D.V. Two variations on the theme of «Useful Four-Valued Logic» / Dmitry V. Zaitsev // Journal of Multiple-Valued Logic and Soft Computing 2005. — Vol. 11, № 3−4. — 253−262.
- Zaitsev, D.V. Yet Another Semantics for First-Degree Entailment / Dmitry V. Zaitsev // Bulletin of the section of logic. 1998. — Vol. 27, № V2. — P. 63−65.61.