Abstrakt
Studujeme důkaz složitosti podle navržené formalizace výrokové implicitní logiky Bonattim a Olivettim. Ukázali jsme, že v závislosti na druhu uvažování ( důvěřivé a skeptick é)jsou důkazy v jejich systému tak dlouhé, jako klasické výrokové logice ( tedy formalizace nemůže být zlepšena), a nebo exponenciální velikosti