A Non-Truth-Functional 3-Valued Logic