Results 21 to 26 of about 26 (26)

On intuitionistic many-valued logics

Journal of the Mathematical Society of Japan, 1986
exaly  

Does IPC have a binary indigenous Sheffer function?

Notre Dame Journal of Formal Logic, 1981
exaly  

A tableau style proof system for two paraconsistent logics.

Notre Dame Journal of Formal Logic, 1993
exaly  

Expressibility in two-dimensional languages for presupposition.

Notre Dame Journal of Formal Logic, 1982
exaly  

Functional completeness and non-Ł ukasiewiczian truth functions.

Notre Dame Journal of Formal Logic, 1980
exaly  

Ł ukasiewicz's twin possibility functors.

Notre Dame Journal of Formal Logic, 1979
exaly