Classical characterization of many-valued logics
Grzegorz Malinowski · 1993
Abstract Even the most radical authors of many-valued constructions devoted much attention to the classical logic. The matrix method inspired by truth-tables embodies a distinct shadow of two-valuedness in the division of the matrix universe into two subsets of designated and undesignated elements. Besides, it turned out that, by making use of some special, so-called standard, connectives, it is possible to map this division into the language as well as to describe consequence relations (operations) of some many-valued logics through appropriate sets of formulae and the consequence of the classical logic (see Chapter 8). In the 1970s the investigations of logical formalizations bore several descriptions of many-valued constructions in terms of zero-one valuations. Effectively, the interpretations associated with these descriptions shed new light on the problem of logical many-valuedness.