IMCS/Publications/BASM/Issues/BASM n.1 (20), 1996/

A completeness criterion for expressibility in a four-valued extension of provability logic. (Romanian)

Authors: Rusu Andrei


The necessary and sufficient conditions for a system of formulas to be complete as to expressibility in the 4-valued extension of the provability logic of propositions are shown in the article.

Institutul de Matematică Academia de Ştiinţe a Moldovei
str. Academiei 5, Chişinău MD-2028 Moldova