Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Speranski, Stanislav O."'
The class of all $\ast$-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The complexity of reasoning in such algebras - ranging from the equational
Externí odkaz:
http://arxiv.org/abs/2408.02118
We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allows some of the structural rules (contraction, weakeni
Externí odkaz:
http://arxiv.org/abs/2001.06863
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2018 Jun 01. 106(3), 637-670.
Externí odkaz:
https://www.jstor.org/stable/45096644
Autor:
Speranski, Stanislav O.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2017 Apr 01. 105(2), 407-429.
Externí odkaz:
http://www.jstor.org/stable/44280731
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2013 Dec 01. 101(6), 1237-1262.
Externí odkaz:
https://www.jstor.org/stable/43649609
Autor:
Horsten, Leon1 leon.horsten@bristol.ac.uk, Speranski, Stanislav O.2 katze.tail@gmail.com
Publikováno v:
Journal of Philosophical Logic. Aug2019, Vol. 48 Issue 4, p685-707. 23p.