Alexander S. Gerasimov | DeepAI

DeepAI

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

research

∙ 12/13/2018

Comparing several calculi for first-order infinite-valued Łukasiewicz logic

From the viewpoint of provability, we compare some Gentzen-type hyperseq...

0 Alexander S. Gerasimov, et al. ∙

research

∙ 12/12/2018

A repetition-free hypersequent calculus for first-order rational Pavelka logic

We present a hypersequent calculus G^3Ł∀ for first-order infinite-valued...

0 Alexander S. Gerasimov, et al. ∙