Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Некоторые аргументологические особенности формальной аргументации и ее специфики в концепции Ф. мин Данга
Некоторые аргументологические особенности формальной аргументации и ее специфики в концепции Ф. мин Данг
The Paraconsistent Numbers and the Set Theory Implied in the Cappadocian Trinitarian Doctrine
The Paraconsistent Numbers and the Set Theory Implied in the Cappadocian Trinitarian Doctrin
Program Transformations as Proof Transformations for Dyadic Logic
Program Transformations as Proof Transformations for Dyadic Logi
Топологическое представление и обобщение классических связок и правил системы естественной дедукции
Топологическое представление и обобщение классических связок и правил системы естественной дедукци
Интерпретация субъектно-предикатных суждений в множествах из неотрицательных целых чисел
Интерпретация субъектно-предикатных суждений в множествах из неотрицательных целых чисе
Аксиоматизация комбинированной релевантной логики CR
Аксиоматизация комбинированной релевантной логики C