1,2
Wheeler, Roger F.; Complete propositional connectives. Z. Math. Logik Grundlagen Math. 7 1961 185-198.
Wheeler, Roger F.; Complete connectives for the 3-valued propositional calculus. Proc. London Math. Soc. (3) 16 1966 167-191.
Cf. A002542.
Adjacent sequences: A002540 A002541 A002542 this_sequence A002544 A002545 A002546
Sequence in context: A013000 A013178 A084595 this_sequence A125791 A102103 A060597
nonn
njas
Search completed in 0.002 seconds