RUSU, Andrei; RUSU, Elena
(The Romanian Society of Applied and Industrial Mathematics, 2018)
We consider the problem of completeness relative to ultra-weak expressibility of the systems of formulas in the simplest non-trivial extension of the propositional provability logic. We propose an algorithm to address this ...