Which CSL rules hold in Łukasiewicz's 3-valued logic?

412 Views Asked by At

CSL is classical logic. So I'm talking about the basic introduction and elimination rules (conditional, biconditional, disjunction, conjunction and negation).

I'm not talking about his infinite-valued logical theory, but the 3-valued one where any atomic sentence can be given T,F or I. (See the Wikipedia article here:

http://en.wikipedia.org/wiki/Three-valued_logic