On logical fiberings and decomposition of many-valued operations: a brief survey

Abstract

A brief survey of the basic notions of the concept of logical fiberings is presented. Logical fiberings lead to many-valued systems and, on, the other side, form the basis for a general decomposition method of m-valued operations into (local) connectives defined in a 2-valued subsystem (fiber). A remark on applications to model cooperating agents logically is included.