The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic

The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.

[1]  J. Michael Dunn,et al.  Partiality and Its Dual , 2000, Stud Logica.