加载中…
Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations , , , , and , when the connectives are negation, conjunction, and disjunction. For and the answer is trivial (no scheme works), and for and it is straightforward (they are the collapsible schemes, in which the middle value acts like one of the classical values). For , the schemes in question are the Boolean normal schemes that are either monotonic or collapsible.

生成讲解博客的中文版本

生成AI智能校验的中文版本