Здравствуйте! Простите, что не по теме. Спрашиваю у Вас по наводке от Миши Вербицкого - не могли бы Вы подсказать, что бы почитать необразованному человеку чтобы самообразоваться по мат. логике(на русском или английском)? Мотивация - чтение computer science papers, где неклассическая логика используется часто. Спасибо.

какого рода computer science papers Вы читаете - поэтому не очень понятно, и какие сведения по логике Вам нужны - можно привести пример?

Системы типов, особенно работа с ресурсами. Linear types, alias types, capabilities, ownership types и т.п.
Они постоянно ссылаются на различные логики как подходящие формализмы для описания их систем типов.
Хотелось бы увидеть картину целиком - пока-что они будто вытаскивают тузы из колоды, которую я не видел.
Ну и доказательства корректности различных утверждений касательно их систем типов читать человеку,
незнакомому с логикой тяжеловато с непривычки.

В общем-то не конкретные сведения нужны (википедия под рукой),
а кругозор и навык, чтобы не приходилось на каждом шаге открывать для себя новое.

тогда вопрос, боюсь, немного не по адресу, я в этом совсем ничего не понимаю. Могу только посоветовать посмотреть книжку Handbook of Theoretical Computer Science, часть B, возможно, там что-то полезное найдётся (хотя книжка давняя, 1990 года) - у меня этот том есть...

Спасибо, поищу в сети. Этими вещами вообще, похоже, не так уж много народу занимается:)

не знаю, есть ли в сети - если нет, то у меня есть книжка, можно как-нибудь попытаться пересечься