What is many-valued logic?

Firstly we examine the definition of many-valued logic within the framework of (logical) matrix theory. Secondly we discuss the general result, challenging the existence of many-valued logic, according to which every logic may be seen as two-valued. Thirdly we analyze the principle of bivalence and...

Full description

Saved in:
Bibliographic Details
Main Author: Beziau, J.-Y.
Format: Conference Proceeding
Language:English
Subjects:
Multivalued logic
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Firstly we examine the definition of many-valued logic within the framework of (logical) matrix theory. Secondly we discuss the general result, challenging the existence of many-valued logic, according to which every logic may be seen as two-valued. Thirdly we analyze the principle of bivalence and show that it appears at a deeper level than one usually thinks.
ISSN:0195-623X
DOI:10.1109/ISMVL.1997.601384