The Concept of Logical Fiberings and Fibered Logical Controllers

摘要

The notion of a logical fibering is introduced originating in an industrial project on so-called polycontextural logic (PCL). It is shown that PCL is a special class of logical fiberings. Based on an example it is indicated how given m-valued logical connectives can be represented by a logical fibering. The notion of a transjunction is explained and it is motivated how it can be exploited to model a "logical controller" for cooperating robots.