Completeness Proofs for Propositional Logic with Polynomial-Time Connectives

John N. Crossley, Philip J. Scott. Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. Annals of Pure and Applied Logic, 44(1-2):39-52, 1989.

Abstract

Abstract is missing.