Здесь собраны ссылки на сайты, имеющие близкое отношение к логике.
Для удобства поиска необходимых данных, самые важные ссылки выделены
цветом.
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/
Массивная подборка ссылок на логические ресурсы. |