Many-valuedness
Grzegorz Malinowski · 1993
Abstract The application of specialized tools of the methodology of propositional calculi (see Wójcicki (1988)) affords possibilities for a profound investigation of many-valued constructions. The present chapter aims to present some important methods of that methodology, especially those revealing the complexity of the problem connected with a general characterization of logical many-valuedness.