Prelegent: Paweł Urzyczyn

Wiadomo, że logiki BCI i BCK są NP-zupełne. Ale jak się dobrze
postawi pytanie o wnioskowanie w BCK (BCI), to odpowiedź jest
całkiem inna i może być nawet akermańska.

It is known that BCI and BCK logics are NP-complete. But if the
question of deducibility in BCK (BCI) is properly stated then the
answer is quite different, even Ackermannian.

References: H. Tanaka, CSL 2023 and R. Lazić, S. Schmitz, ACM ToCL 2015.