Title | ||
---|---|---|
A completeness-proof method for extensions of the implicational fragment of the propositional calculus. |
Year | DOI | Venue |
---|---|---|
1980 | 10.1305/ndjfl/1093883174 | Notre Dame Journal of Formal Logic |
Field | DocType | Volume |
Discrete mathematics,Algebra,Propositional calculus,Algorithm,Completeness (statistics),Propositional variable,Mathematics | Journal | 21 |
Issue | Citations | PageRank |
3 | 0 | 0.34 |
References | Authors | |
0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |