SINGLE GENERATORS FOR HENKINIAN FRAGMENT
β
Alan Rose
π
Article
π
1969
π
John Wiley and Sons
π
English
β 396 KB
## SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS by ALAN ROSE in Nottingham (England) HENKIN has shown,) that if the truth-tables of the primitive functors of a 2-valued propositional calculus are such that material implication is definable2) in this propositiona