The book attempts an elementary exposition of the topics connected
with many-valued logics. It gives an account of the constructions
being "many-valued" at their origin, i.e. those obtained through
intended introduction of logical values next to truth and falsity.
To this aim, the matrix method has been chosen as a prevailing
manner of presenting the subject. The inquiry throws light upon the
profound problem of the criteria of many-valuedness and its
classical characterizations. Besides, the reader can find
information concerning the main systems of many-valued logic,
related axiomatic constructions, and conceptions inspired by many
valuedness. The examples of various applications to philosophical
logic and some practical domains, as switching theory or Computer
Science, helps to see many-valuedness in a wider perspective.
Together with a selective bibliography and historical references it
makes the work especially useful as a survey and guide in this
field of logic.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!