Andrzej Indrzejczak | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Michał Zawidzki
3 publications

research

∙ 04/13/2022

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

Non-Classical Logics. Theory and Applications (NCL) is an international ...

0 Andrzej Indrzejczak, et al. ∙

research

∙ 07/15/2021

Tableaux for Free Logics with Descriptions

The paper provides a tableau approach to definite descriptions. We focus...

0 Andrzej Indrzejczak, et al. ∙