Diskutují se uni- a multi-sukcedentové kalkuly pro intuicionistickou výrokovou logiku a zkoumá se složitost rozhodovacích procedur založených na těchto kalkulech. (cs)
Single- and multi-conclusion calculi for intuitionistic propositional logic are discussed or presented, complexity of decision procedures based on these calculi is explored.
Single- and multi-conclusion calculi for intuitionistic propositional logic are discussed or presented, complexity of decision procedures based on these calculi is explored. (en)