Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Философия науки Локка Впервые опубликовано пт июл 24, 2009; основная редакция пн 25 сентября 2017 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Политическая философия Локка Впервые опубликовано ср 9 ноября 2005 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Линейная логика Впервые опубликовано ср 6 сентября 2006 г.; существенная редакция пт 24 мая 2019 Линейная логика является усовершенствованием классической и интуиционистской логики. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Древняя логика Впервые опубликовано ср 13 декабря 2006 г.; основная редакция ср 15 апреля 2020 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Пересмотр Логики Веры Впервые опубликовано пт 21 апреля 2006 г.; основная редакция пн 23 октября 2017 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика зависимости Впервые опубликовано четверг, 23 февраля 2017 г. Логика зависимости - это расширение логики первого порядка, которая добавляет к ней атомы зависимости, то есть выражения вида (eqord (x_1 \ ldots x_n, y)), которые утверждают, что значение (y) равно функционально зависит от (другими словам 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика для анализа мощности в играх нормальной формы Впервые опубликовано ср 14 июня 2017; 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Нечеткая логика Впервые опубликовано вт 15 ноября 2016 г.; существенная редакция вт 18 июля 2017 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Инфинитария Логика Впервые опубликовано Вс 23 января 2000 г.; основная редакция пт 26 февраля 2016 Традиционно выражения в формальных системах рассматривались как обозначающие конечные надписи, которые - по крайней мере в принципе - способны фактически записываться в примитивной записи. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика массовых выражений Впервые опубликовано пт 8 марта 2013 г.; существенная редакция пн 17 декабря 2018 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Многозначная логика Впервые опубликовано вт 25 апреля 2000 г.; существенная редакция чт 5 марта 2015 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Paraconsistent Logic Впервые опубликовано вт 24 сентября 1996 г.; основная редакция пт 18 мая 2018 Современная логическая ортодоксальность гласит, что из противоречивых предпосылок что-либо следует. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Модальная логика Впервые опубликовано в четверг, 29 февраля 2000 г.; 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика и Вероятность Впервые опубликовано четверг, 7 марта 2013 г.; существенная редакция вт 26 марта 2019 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Эпистемическая логика Впервые опубликовано пт 7 июня 2019 Эпистемическая логика является подполем эпистемологии, связанной с логическими подходами к знаниям, убеждениям и связанным с ними понятиям. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Субструктурная логика Впервые опубликовано вт 4 июля 2000 г.; ревизия по существу ср 21 февраля 2018 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика релевантности Впервые опубликовано ср 17 июня 1998 г.; существенный пересмотр пн мар 26, 2012 Логика релевантности - это неклассическая логика. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика обеспечения Впервые опубликовано ср 2 апреля 2003 г.; основная редакция ср 5 апр 2017 Логика обеспечения доступности - это модальная логика, которая используется для исследования того, что арифметические теории могут выразить на ограниченном языке об их предикатах доказуемости. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Пропозициональная динамическая логика Впервые опубликовано: 1 февраля 2007 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Появление логики первого порядка Впервые опубликовано 17 ноября 2018 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Развитие теории доказательств Впервые опубликовано ср 16 апреля 2008 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Современные истоки модальной логики Впервые опубликовано вт 16 ноября 2010 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Раннее развитие теории множеств Впервые опубликовано вт 10 апреля 2007 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Витгенштейновский логический атомизм Впервые опубликовано в понедельник, 22 ноября 2004 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логические Конструкции Впервые опубликовано ср 20 ноября 1996 г.; существенная редакция вт 21 мая 2019 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логический плюрализм Впервые опубликовано ср 17 апреля 2013 г.; существенная редакция чт 10 января 2019 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логика и Онтология Впервые опубликовано в понедельник, 4 октября 2004 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Логическая истина Впервые опубликовано вт 30 мая 2006 г.; существенная редакция чт 6 сентября 2018 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу Лукреций Впервые опубликовано ср 4 августа 2004 г.; ревизия по существу ср 17 октября 2018 г. 2023
Входная навигация Содержание входа Библиография Академические инструменты Friends PDF Preview Информация об авторе и цитировании Вернуться к началу лояльность Впервые опубликовано вт 21 августа 2007 г.; основная редакция пн 16 октября 2017 г. 2023