Basic logic for true and false LBVF

System LBVF is an extension of the classical positive logic, the system includes operators of alternating affirmation, alternating negation and determinability, and the operators of classical negation and good foundation are defined as from them. The system is characterized by a semantic of traditio...