2 papers
cs.LO2013
On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic
Andrei Rusu
In the present paper we consider the simplest non-classical extension of the well-known propositional provability logic together with the notion of expressibility of for…
math.LO2013
On parametrical expressibility in the free void-generated diagonalizable algebra
Andrei Rusu
In the present paper we show that there are infinitely many classes of term functions in the free-void generated diagonalizable algebra, which are precomplete with respect to param…