Finite structural axiomatization of every finite-valued propositional calculus Zdzisław Dywan OriginalPaper Pages: 1 - 4
Equationally definable implication algebras for orthomodular lattices G. N. Georgacarakos OriginalPaper Pages: 5 - 18
The choice of logical foundations: Non-classical choices and the ultralogical choice Richard Routley OriginalPaper Pages: 77 - 98