Login / Signup

Consequential implication. A correction to: "Decision procedures for logics of consequential implication".

Claudio Pizzi
Published in: Notre Dame J. Formal Log. (1993)
Keyphrases