Michał Zawidzki | DeepAI

DeepAI

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

Featured Co-authors

Andrzej Indrzejczak
2 publications
Taneli Huuskonen
1 publication
Joanna Golińska Pilarek
1 publication

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

research

∙ 04/29/2021

Tableau-based decision procedure for non-Fregean logic of sentential identity

Sentential Calculus with Identity (SCI) is an extension of classical pro...

0 Joanna Golińska Pilarek, et al. ∙