Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective. MSC Primary: 03B50, Secondary: 03B22 03B53 03B20 03B45

Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice...

| In this paper, we will present a framework for reasoning with vague and uncertain information by fuzzy truth-valued logics. It is shown that possibilistic logic, many-valued logic, and approximate reasoning can all be embodied in the uniform framework.

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko's Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truthpreserving notion of consequence. The alternative usage of truth values in order to...

Multiple-valued logics are non-classical logics. They are similar to classical logic because they accept the principle of truth-functionality, namely, the truth of a compound sentence is determined by the truth values of its component sentences (and so remains unaffected when one of its component sentences is replaced by another sentence with the same truth value). But they differ from classica...