Shortest Single Axioms for the equivalential Calculus with CD and RCD

Authors
K.Hodgson
Citation
K.hodgson, Shortest Single Axioms for the equivalential Calculus with CD and RCD, Journal of automated reasoning , 20(3), 1998, pp. 283-316
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
3
Year of publication
1998
Pages
283 - 316
Database
ACNP
SICI code