Kvantová dedukční pravidla

Abstrakt

Definujeme kvantové Fregeho důkazové systémy a porovnáme je s klasickými Fregeho důkazovými systémy.

Klíčová slova

• Quantum
• deduction
• rules