Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATP

Abstrakt

Studujeme dokazatelnost formulí v hilbertovských kalkulech pro neklasické výrokové logiky metodami automatického dokazování vět.

Klíčová slova

• provability
• non-classical logics
• automated theorem proving