еория релевантного следования iii. Комбинаторная семантика TE

##plugins.themes.bootstrap3.article.main##

D.V. Zaitsev

Abstract

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 ТЕ.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Зайцев Д. В. Теория релевантного следования 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.