Сучасні напрями розвитку математичної логіки

No Thumbnail Available
Date
2011
Journal Title
Journal ISSN
Volume Title
Publisher
КДПУ ім. В. Винниченка
Abstract
(uk) Дається коротка характеристика сучасних напрямів розвитку класичної математичної логіки.
(en) A short survey of present-day mathematical logic is presented in this paper.
Description
Keywords
напрямки розвитку, класична математична логіка, логіка, традиційна логіка, математична логіка, теорія силогізмів, числення, некласичні логіки, конструктивність, конструктивна логіка, модальна логіки, алетична логіка, аксіологічна логіка, деонтична логіка, епістемічна логіка, тризначна логіка, імовірнісна логіка, комплексна логіка, часова логіка, логіка запитань і відповідей, неокласична логіка
Citation
Євладенко В. М. Сучасні напрями розвитку математичної логіки / Володимир Миколайович Євладенко // Наукові записки КДПУ. Серія : Математичні науки / ред. О. В. Авраменко [та ін.]. – Кіровоград : КДПУ ім. В. Винниченка, 2011. – Вип. 70. – С. 34-41.