Open AccessХорошо определенные логики
Author(s) -
Игорь Анатольевич Горбунов
Publication year - 2011
Publication title -
logičeskie issledovaniâ
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2011-17-0-95-108
Subject(s) - computer science
В данной статье рассматриваются некоторые вопросы, касающиеся теоремы дедукции для операторов следования и сентенциальных исчислений.