Decision Procedures for Logics of Consequential Implication

Claudio Pizzi. Decision Procedures for Logics of Consequential Implication. Notre Dame Journal of Formal Logic, 32(4):618-636, 1991.

Possibly Related Publications

The following publications are possibly variants of this publication: