The Tri-lattice of Constructive Truth Values (0)

by Y Shramko, M Dunn, Takenaka
Venue:Journal of Logic and Computation