Nezávislost axiomů v neklasických logikách a automatické dokazování vět

Abstrakt

Studujeme nezávislost axiomů v hibertovských kalkulech pro nekteré neklasické výrokové logiky, především substrukturální a matematické fuzzy logiky, metodami automatického dokazování.

Klíčová slova

• Hilbert-style proof systems
• independence of axioms
• logic BL
• logic MTL
• automated theorem proving