Skip to main content
Conference Proceedings

Single axioms in the implicational propositional calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1988) 310 LNCS 710-713
DOI: 10.1007/BFb0012869
16Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

A class of challenge problems derived from a first-order encoding of the implicational propositional calculus is presented.

Cite

CITATION STYLE

APA

Pfenning, F. (1988). Single axioms in the implicational propositional calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 310 LNCS, pp. 710–713). Springer Verlag. https://doi.org/10.1007/BFb0012869

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free