๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Generators of propositional functions

โœ Scribed by Antoni Tomaszewicz

Book ID
105468903
Publisher
Springer Netherlands
Year
1973
Tongue
English
Weight
187 KB
Volume
31
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Pseudorandom Generators in Propositional
Pseudorandom Generators in Propositional Proof Complexity
โœ Alekhnovich, Michael; Ben-Sasson, Eli; Razborov, Alexander A.; Wigderson, Avi ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Society for Industrial and Applied Mathematics ๐ŸŒ English โš– 283 KB
Propositional Functions in Extension
Propositional Functions in Extension
โœ ROBERT TRUEMAN ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Wiley (Blackwell Publishing) ๐ŸŒ English โš– 251 KB
Remarks on Propositional Functions
Remarks on Propositional Functions
โœ Cartwright, R. L. ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Oxford University Press ๐ŸŒ English โš– 136 KB
SINGLE GENERATORS FOR HENKINIAN FRAGMENT
SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS
โœ 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