Results 31 to 34 of about 34 (34)
Some of the next articles are maybe not open access.
A tableau style proof system for two paraconsistent logics.
Notre Dame Journal of Formal Logic, 1993exaly
Expressibility in two-dimensional languages for presupposition.
Notre Dame Journal of Formal Logic, 1982exaly
Functional completeness and non-Ł ukasiewiczian truth functions.
Notre Dame Journal of Formal Logic, 1980exaly