Non-associative, non-commutative multi-modal linear logic

Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part IVol. 12166.: Cham: Springer, 2020. P. 500–517.

Добавлено: 1 июля 2020 г.

Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256

Добавлено: 1 июля 2020 г.

On noncommutative extensions of linear logic

Sergey Slavnov, Logical Methods in Computer Science 2019 Vol. 15 No. 3 P. 1–25

Добавлено: 23 октября 2019 г.

On Banach spaces of sequences and free linear logic exponential modality

Sergey Slavnov, Mathematical Structures in Computer Science 2019 Vol. 29 No. 2 P. 215–242

Добавлено: 24 декабря 2017 г.

On partial traces and compactification of *-autonomous Mix-categories

Sergey Slavnov, / Series arXiv "math". 2016.

Добавлено: 23 ноября 2016 г.

The undecidability theorem for the Horn-like fragment of linear logic (Revisited).

Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744

Добавлено: 1 сентября 2016 г.

On Lambek’s Restriction in the Presence of Exponential Modalities

Канович М. И., 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 г.

Modeling linear logic with implicit functions

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 г.

Geometrical semantics for linear logic (multiplicative fragment)

Славнов С. А., Theoretical Computer Science 2006 Vol. 357 No. 1-3 P. 215–229

Добавлено: 4 марта 2013 г.

Coherent phase spaces. Semiclassical semantics

Славнов С. А., Annals of Pure and Applied Logic 2005 Vol. 131 No. 1-3 P. 177–225

Добавлено: 4 марта 2013 г.

Deep inference and probabilistic coherence spaces

Blute R., Panangaden P., Slavnov Sergey, Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209–228

Добавлено: 18 февраля 2013 г.

Deep inference and probabilistic coherence spaces

Blute R., Panangaden P., Slavnov S. A., Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209–228

В статье предлагается категорная модель системы глубокого вывода BV, опеределенной Гульеми. В системах глубокого вывода реализована идея дедукций внутри формулы на любой глубине . Стандартные правила исчислений секвенций применимы только к корню дерева подформул, тогда как в этих новых системах можно вносить изменения в любой позиции дерева. В частности, глубокий вывод позволяет синтаксическое описание логик, ...

Добавлено: 28 декабря 2012 г.