Карниелли внес вклад в теорию доказательств и семантику многозначных логик и паранепротиворечивых логик . Его табличный метод для многозначных логик обобщил все предыдущие трактовки предмета. [1] Его предложение семантики возможных переводов (новая семантическая интерпретация для паранепротиворечивых логик) способствовало возрождению философской интерпретации паранепротиворечивых логик. [2] [3]
Логики формальной противоречивости, систематизирующие большой класс паранепротиворечивых логик, открыли путь к применению паранепротиворечивости в информатике и к новым философским исследованиям паранепротиворечивости.
Комбинаторика, модулированная логика и комбинации логик
Он также опубликовал работы по конечной и бесконечной комбинаторике и разработал (совместно со своими коллегами AM Sette и PA Veloso) модулированные логики, новый тип логики, который позволяет формализовать качественные рассуждения с помощью специальных обобщенных квантификаторов. Его исследования также включают теорию моделей , неклассическую логику , основы квантовых вычислений и комбинации логик.
Должности и награды
Карниелли занимал должность директора Центра логики, эпистемологии и истории науки в UNICAMP в течение трех сроков и был президентом Бразильского логического общества. Он был отмечен грантом Александра фон Гумбольдта для долгосрочных исследовательских поездок в Германию и был редактором и/или членом редколлегий крупных журналов, таких как Studia Logica , Logic and Logical Philosophy , Journal of Applied Logic , CLE e-Prints , Reports on Mathematical Logic и Journal of Applied Non Classical Logics . Он получил золотую медаль Телезио-Галилея по философии и математике в 2012 году.
Избранные публикации
Статьи
WA Carnielli. О задачах раскраски и покрытия ладейных областей, Discrete Mathematics 57 (1985), стр. 9–16.
WA Carnielli. Систематизация конечных многозначных логик методом таблиц. Журнал символической логики 52 (2), 1987, стр. 73–493.
WA Carnielli (совместно с Newton CA da Costa). Паранепротиворечивая деонтическая логика. Philosophia – The Philos. Quarterly of Israel т.16 номера 3 и 4 (1988), стр. 293–305.
WA Carnielli. Неравенства гиперладейной области. Исследования по прикладной математике (Массачусетский технологический институт) 82,\ n.1 (1990), стр. 59–69.
WA Carnielli (совместно с CA Di Prisco). Некоторые результаты по поляризованным отношениям разбиения более высокой размерности. Mathematical Logic Quarterly 39 (1993) стр. 461–474.
WA Carnielli (совместно с PAS Veloso). Ультрафильтрационная логика и обобщенное рассуждение. В Computational Logic and Proof Theory (Вена, 1997), стр. 34–53, Lecture Notes in Computer. Science 1289, Springer, Берлин, 1997.
WA Carnielli. Семантика возможных переводов для паранепротиворечивых логик. В: Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, стр. 159–72, под редакцией D. Batens et al., Kings College Publications, 2000.
WA Carnielli (совместно с EL Monte Carmelo). Двудольные числа Рамсея K2,2-K1,n и K2,n-K2,n. Дискретная математика , т. 223 (1-3), 2000, стр. 83–92.
WA Carnielli (совместно с J. Marcos). Таксономия C-систем. В: Паранепротиворечивость — логический путь к непротиворечивому, Lecture Notes in Pure and Applied Mathematics, Vol. 228, pp. 01–94 2002.
WA Carnielli (совместно с C. Caleiro, ME Coniglio и J. Marcos). Компания двоих: обман многих логических значений. В: Logica Universalis (редактор J.-Y. Béziau). Базель: Birkhäuser, 2005, стр. 169-189.
WA Carnielli (совместно с ABM Brunner). Антиинтуиционизм и паранепротиворечивость. Журнал прикладной логики , том 3, выпуск 1, март 2005 г., страницы 161-184.
WA Carnielli (совместно с ME Coniglio). Расщепляющие логики. В: We Will Show Them: Essays in Honour of Dov Gabbay. (Редакторы S. Artemov , H. Barringer, AS Avila Garcez , LC Lamb и J. Woods). Лондон: King's College Publications, 2005, т. 1, стр. 389-414.
WA Carnielli (совместно с ME Coniglio и J. Marcos). Логика формальной непоследовательности. В: Handbook of Philosophical Logic, т. 14, стр. 15–107. Ред.: D. Gabbay; F. Guenthner. Springer, 2007.
WA Carnielli (совместно с ME Coniglio. Объединение логик. Стэнфордская энциклопедия философии, 2007.
WA Carnielli (совместно с J. Rasga и C. Sernadas ). Сохранение особенностей интерполяции путем волокнообразования. Математическая логика, ежеквартальный том 18, выпуск 1, 2008, страницы
123-151.
WA Carnielli (совместно с J. Rasga и C. Sernadas ). Интерполяция посредством переводов. Mathematical Logic Quarterly Volume 55, Issue 5, 2009, pages 515-534.
WA Carnielli (совместно с JC Agudelo). Параконсистентные машины и их связь с квантовыми вычислениями. Журнал логики и вычислений, том 20, выпуск 2, 2010, страницы 573-595.
Книги
RL Epstein и WA Carnielli. Вычислимость: вычислимые функции, логика и основы математики, с временной шкалой Вычислимость и неразрешимость . Второе издание. Wadsworth/Thomson Learning, Belmont, CA, 2000.
В.А. Карниелли и К. Пицци. Модальность и мультимодальность . Франко Анджели, Милан, 2001 год.
В. А. Карниелли и Р. Л. Эпштейн Computabilidade: Funções Computáveis, Logica e os Fundamentos da Matemática. Лауреат премии Джабути 2007 года, престижной литературной премии в Бразилии.
WA Carnielli и C. Pizzi. Модальности и мультимодальности . Springer-Verlag), 2008.
WA Carnielli, ME Coniglio, D. Gabbay, P. Gouveia и C. Sernadas . Анализ и синтез логик. Как вырезать и вставлять системы рассуждений . Серия Applied Logic, Springer, 2008.
Ссылки
Цитаты
^ WA Carnielli. Систематизация конечных многозначных логик методом таблиц. Журнал символической логики 52 (2), 1987, стр. 73–493
^ WA Carnielli. Семантика возможных переводов для паранепротиворечивых логик. В: Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, стр. 159–72, под редакцией D. Batens et al., Kings College Publications, 2000
^ WA Carnielli (совместно с ME Coniglio и J. Marcos). Логика формальной непоследовательности. В: Handbook of Philosophical Logic, т. 14, стр. 15–107. Ред.: D. Gabbay; F. Guenthner. Springer, 2007
Источники
«Вальтер Александр Карниелли». Instituto de Filosofia e Ciências Humanas — Programa de Pós-Graudação em Filosofia . Проверено 3 мая 2024 г.
«Члены - Вальтер Александр Карниелли». IT-Институт телекоммуникаций . Проверено 3 мая 2024 г.
"Проф. д-р Вальтер Карниелли". CLE - Unicamp . Получено 3 мая 2024 г. .
