?
Non-associative, non-commutative multi-modal linear logic
P. 449-467.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 13385. , Cham : Springer, 2022
Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479-517
Добавлено: 21 октября 2021 г.
Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1-24
Добавлено: 14 декабря 2021 г.
Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4
Добавлено: 20 декабря 2023 г.
Канович М. И., Кузнецов С. Л., Nigam V. и др., , in : Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part I. Vol. 12166.: Cham : Springer, 2020. P. 500-517.
Добавлено: 1 июля 2020 г.
Sergey Slavnov, Annals of Pure and Applied Logic 2014 Vol. 165 No. 1 P. 357-370
Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces). However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations ...
Добавлено: 7 октября 2013 г.
Славнов С. А., Theoretical Computer Science 2006 Vol. 357 No. 1-3 P. 215-229
Добавлено: 4 марта 2013 г.
Добавлено: 4 декабря 2021 г.
Blute R., Panangaden P., Slavnov Sergey, Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
Добавлено: 18 февраля 2013 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
Добавлено: 1 июля 2020 г.
Sergey Slavnov, Mathematical Structures in Computer Science 2019 Vol. 29 No. 2 P. 215-242
Добавлено: 24 декабря 2017 г.
Blute R., Panangaden P., Slavnov S. A., Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
В статье предлагается категорная модель системы глубокого вывода BV, опеределенной Гульеми. В системах глубокого вывода реализована идея дедукций внутри формулы на любой глубине . Стандартные правила исчислений секвенций применимы только к корню дерева подформул, тогда как в этих новых системах можно вносить изменения в любой позиции дерева. В частности, глубокий вывод позволяет синтаксическое описание логик, ...
Добавлено: 28 декабря 2012 г.
Славнов С. А., Annals of Pure and Applied Logic 2005 Vol. 131 No. 1-3 P. 177-225
Добавлено: 4 марта 2013 г.
Канович М. И., Kuznetsov S., Щедров А., , in : Symposium on Logical Foundations of Computer Science (LFCS 2016). Vol. 9537: Logical Foundations of Computer Science.: Springer, 2016. P. 146-158.
Добавлено: 28 июня 2016 г.
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719-744
Добавлено: 1 сентября 2016 г.
Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68-91
Добавлено: 2 октября 2021 г.
Sergey Slavnov, Logical Methods in Computer Science 2019 Vol. 15 No. 3 P. 1-25
Добавлено: 23 октября 2019 г.
Sergey Slavnov, Mathematical Structures in Computer Science 2021 Vol. 31 No. 5 P. 495-534
Добавлено: 16 ноября 2021 г.