Complete connectives for the 3-valued propositional calculus (1966)

by R F Wheeler
Venue:Proc. London Math. Soc
Add To MetaCart
Results 1 - 1 of 1

ON SHEFFER SYMMETRIC FUNCTIONS IN THREE.VALUED LOGIC

by Ivan Stojmenovic - DISCRETE APPLIED MATHEMATICS 22 (1988/89 \ 267-274 , 1989
"... A Sheffer function is a function which can produce by superposition all functions of a considered set. In this paper we give an exact formula for the number of n-ary Sheffer symmetric functions in three-valued losic. ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
A Sheffer function is a function which can produce by superposition all functions of a considered set. In this paper we give an exact formula for the number of n-ary Sheffer symmetric functions in three-valued losic.