еория релевантного следования iii. Комбинаторная семантика TE
Article Sidebar
Опубликован:
31.10.2001
Main Article Content
Аннотация
In [I]and[2] the backgroundfor pure theory’ of relevant entadment was built: ideological considerations were axiomatized and supplied with algebraic semantics. In this paper I will prove the adequacy for both relational and combinatory semantics o f ТЕ.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Зайцев Д. еория релевантного следования iii. Комбинаторная семантика TE // Логические исследования / Logical Investigations. 2001. Т. 8. C. 38-49.
Выпуск
Раздел
Статьи
Литература
Зайцев Д. В. Теория релевантного следования I: Аксиоматика. //Логические исследования. Выпуск 5. М.,1998. С.119-128.
Зайцев Д.В. Теория релевантного следования II: Семантика.//Логические исследования. Выпуск 6. М.,1999. С. 109-115.
Dunn, J.M. and Meyer, R.K. Combinators and Structurally Free Logic 11 The Journal of the IGPL. 1993. Vol. 6.4.
Зайцев Д.В. Модальности и импликация. // Труды научно-исследовательского семинара Логического центра Института философии РАН 1997. М., 1998. С.85-91.
Anderson, A.R. and Belnap, N.D., Jr. Entailment. The logic of relevance and necessity. Vol.l. Princeton, 1975.
Сегерберг К. Модальные логики с линейными отношениями альтернативности. // Семантика модальных и интенсиональных логик. М., 1981. СС. 180-205.
Смирнов В.А. Логические методы анализа научного знания. М., 1987.
Anderson, A.R., Belnap, N.D., Jr ., and Dunn, J.M. Entailment. The logic of relevance and necessity. Vol.2. Princeton, 1992.
Зайцев Д.В. Теория релевантного следования II: Семантика.//Логические исследования. Выпуск 6. М.,1999. С. 109-115.
Dunn, J.M. and Meyer, R.K. Combinators and Structurally Free Logic 11 The Journal of the IGPL. 1993. Vol. 6.4.
Зайцев Д.В. Модальности и импликация. // Труды научно-исследовательского семинара Логического центра Института философии РАН 1997. М., 1998. С.85-91.
Anderson, A.R. and Belnap, N.D., Jr. Entailment. The logic of relevance and necessity. Vol.l. Princeton, 1975.
Сегерберг К. Модальные логики с линейными отношениями альтернативности. // Семантика модальных и интенсиональных логик. М., 1981. СС. 180-205.
Смирнов В.А. Логические методы анализа научного знания. М., 1987.
Anderson, A.R., Belnap, N.D., Jr ., and Dunn, J.M. Entailment. The logic of relevance and necessity. Vol.2. Princeton, 1992.