The Strong Completeness of a System Based on Kleene s Strong Three-Valued Logic

Hiroshi Aoyama. The Strong Completeness of a System Based on Kleene s Strong Three-Valued Logic. Notre Dame Journal of Formal Logic, 35(3):355-368, 1994.

Abstract

Abstract is missing.