|  | 

З

Биография Зайцев Дмитрий Владимирович

(р. 21.02.1962) — спец. по логике; канд. филос. наук. Род. в Москве.
Окончил филос. ф-т МГУ (1988), асп. филос. ф-та (1991). Канд. дисс. — «Релевантная логика и социология: семантические проблемы» (1991). С 1991 работает на кафедре логики филос. ф-та МГУ, в наст. вр. в должности доц. Занимается проблемами релевантной логики, алгебры логики и представления информации.
Им построены реляционные семантики по т. н. «американскому плану» для осн. систем релевантной логики.
Предложил информац. семантики обобщенных описаний состояния для нек-рых систем релевантной логики.
Развивал прикладные семантические и синтаксические теории релевантного следования первого уровня.
Разрабатывает обобщенную теорию чистого релевантного следования.
Соч.: Интенсиональная конъюнкция и следование — Логико-философские исследования.
Вып.2. М., 1991; Ученый и время. [В соавт.] — В. МГУ. Сер.»Философия». 1993. № 5; Релевантное отрицание и воображаемая логика Васильева — В. МГУ. Сер.»Философия». 1993. № 5; Модальности и импликация — Труды научно-исследовательского семинара по логике ИФ РАН. М., 1998; Теория релевантного следования I: аксиоматика — Логические исследования.
Вып.5, 1998; Yet another semantics for first-degree entailment — Bulletin of the section of logic. 1998.

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (1 оценок, среднее: 5,00 из 5)

коробейникова лариса томск

Биография Зайцев Дмитрий Владимирович





Биография Зайцев Дмитрий Владимирович
Copyright © Краткие биографии 2022. All Rights Reserved.