“…K3 is briefly sketched in the appendix, and both logics are laid out in many familiar places[6,8,17]. FDE, unlike K3, affords the logical possibility of gluts (i.e., the dual of gaps); and it is in some ways more 'balanced' than K3[5], in that it rejects both LEM (viz., p ∴ q ∨ ¬q) and EFQ (viz., ¬q ∧ q ∴ p).…”