Zabýváme se neklasickými přístupy k výrokovým důkazovým systémům, a to takovými jako jsou ty, které používají radu, pravděpodobnost nebo
