Rozhodovac� �lohy v�rokov�ch logik roz�i�uj�c�ch intuicionistickou logiku a jej�ch fragment�

Abstrakt

Je zkoum�na slo�itost rozhodovac�ch �loh intuicionistick� v�rokov� logiky a jej�ch roz���en�, t�� za omezen� na po�et mo�n�ch atom� nebo na mno�inu p��pustn�ch logick�ch spojek.

Klíčová slova

• Rozhodovac� �lohy
• logiky roz�i�uj�c� intuicionistickou logiku
• fragmenty v�rokov�ch logik