ИФРАН

Сектор логики ИФРАН

Логика в интернете

Сектор логики
English
Logical Studies
Сектор логики Новый сайт сектора логики "Логические исследования" Смирновские чтения Семинар Логического центра ИФРАН
Логика в интернете

Сектор логики ИФРАН

Логика в интернете

Здесь собраны ссылки на сайты, имеющие близкое отношение к логике. Для удобства поиска необходимых данных, самые важные ссылки выделены цветом.

Российские организации, журналы...

http://www.logic.ru/Russian/: Логика в России.
http://logic.philos.msu.ru/: Кафедра логики философского факультета Московского Государственного Университета.
http://markov.math.msu.ru/rus/logic.htm: Кафедра мат.логики и теории алгорифмов (мехмат МГУ). История кафедры, курсы, персоналии, направления исследований.
http://www.ras.ru/local.docs/mian/logic.html: The Department of Mathematical Logic at the Steklov Mathematical Institute.
http://logic.pdmi.ras.ru/: Лаборатория логики Математического Института им. Стеклова, СПб.
http://www.math.nsc.ru/LBRT/logic/l1win.html: Лаборатория математической логики Математического Института им. Соболева, Новосибирск.
http://www.csa.ru/diclirus/: Логика в России в XX веке.
http://www.mccme.ru/: Московский центр непрерывного математического образования.
http://www.logic.ru/Russian/LogStud/: Электронный журнал "Логические Исследования" издается ОИЛКРЛ с 1997г., статьи доступны в электронном виде.

Зарубежные организации, журналы, библиографии, поисковые системы...

http://front.math.ucdavis.edu/math.LO: Электронная библиотека препринтов по математической логике. Поддерживается факультетом математики Калифорнийского Университета.
http://theory.lcs.mit.edu/~dmjones/hbp/apal/: Библиография журнала Annals of Pure and Applied Logic. Содержит записи в формате BibTeX по статьям начиная с 1989 года. Возможен поиск в обширной базе данных The Hypertext Bibliography Project, частью которого и является сайт APAL.
http://liinwww.ira.uka.de/bibliography/index.html: Библиография по компьютерным наукам. Более 1,2 миллиона ссылок. Темы - от искусственного интеллекта и нейронных сетей до логического программирования и вычислительной математики.
http://www.uni-bonn.de/logic/world.html: База данных по логике в интернете. Поддерживается Группой математической логики Университета г.Вена, Австрия.
http://www.ee.pdx.edu/~mperkows/ISMVL/=index.html: Коллекция ссылок по многозначным логикам. Поддерживается в Портландском Университете, США.
http://uu-gna.mit.edu/~napoli/LAMBDA/logical.html: LogicAL - ссылки по философии, логике и искусственной жизни.
http://theory.lcs.mit.edu/~dmjones/hbp/ndjfl/: Библиография журнала Notre Dame Journal of Formal Logic.
http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm: Избранная библиография по неклассическим логикам.
http://www.ams.org/committee/publications/mr-info.html: Рецензии по математической логике Американского Математического Сообщества.
http://www.ras.ru/EMIS/: Zentrablatt - рецензии по математической логике. Зеркало сайта www.emis.de.
http://www.math.ucla.edu/~hbe/jsl.html: Journal of Symbolic Logic - официальный журнал Ассоциации Символической Логики.
http://www.math.ucla.edu/~asl/bslcontents.html: The Bulletin of Symbolic Logic. Статьи доступны в постскрипте.
http://www.wkap.nl/journalhome.htm:Журналы издательства Kluwer.
http://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/home.html: JANCL - Journal of Applied Non-Classical Logic.
http://www.hf.uio.no/filosofi/njpl/: Nordic Journal of Philosophical Logic. Доступны электронные версии статей. Новый журнал, но очень солидные авторы. Требуется регистрация для чтения статей (бесплатно).
http://www.ed.ac.uk/~pmilne/ml/home.html: Журнал Modern Logic.
http://www.phil.indiana.edu/ejap/ejap.html: Electronic Journal of Analytic Philosophy. Доступны электронные версии статей. Выходит ежегодно с 1993г.
http://citeseer.nj.nec.com/: Электронная библиотека по логике, математике и компьютерным наукам. Обеспечивает создание индексов цитирования, поиск смежных и похожих документов, поиск в контексте цитирования.
http://www-csli.stanford.edu/: Центр изучения языка и информации Стэнфордского университета, США.
http://www.univ.trieste.it/~dipfilo/episteme/ Электронный журнал Logic and Philosophy of Science.
http://www.math.uu.se/logik/logic-server/ Очень обстоятельная, хотя и местами устаревшая, подборка ссылок по логике, поддерживаемая в университете Уппсалы в Швеции.
http://www.links2go.com/topic/Logic Ещё одна коллекция интернетовских ссылок.
http://discus.anu.edu.au/~wongas/ Массивная подборка ссылок на логические ресурсы.

Разное...

http://www.math.uiuc.edu/~asl/meetings/meetings.html: Информация о конференциях Ассоциации Символической Логики.
http://primes.utm.edu/: База данных по исследованиям в области простых чисел.
http://pluralism.pitas.com/: Проект "Логический плюрализм" с участием Г.Ресталла.
http://plato.stanford.edu/: Стэнфордская Философская Энциклопедия, США.
http://www.rbjones.com/rbjpub/: Фактазия - энциклопедия по логике, эпистемологии, философии науки.
http://www.sharevalue.com/odp/Top/Science/Math/Logic/: Интернет-каталог ShareValue, раздел "Логика".
http://metamath.planetmirror.com/mmsolitaire/mms.html: Метаматематический пасьянс, построенный на аксиомах Цермело-Френкеля.
http://www.humboldt.edu/~mef2/logicsites.html: Сайт, посвящённый логике и теории множеств.
iml.univ-mrs.fr/~lafont/linear/ Страницы по линейной логике.