Neekvivalence některých implikačních dedukčních vět

Abstrakt

Ukážeme, že některé třídy logiky v hierarchii implikačních dedukčních vět, definované v chystaném článku Chvalovského a Cintuli, nejsou ekvivalentní.

Klíčová slova

• implicational deduction theorems
• contraction-free logics
• automated theorem proving