Logical fiberings and polycontextural systems
Based on the notion of abstract fiber spaces the concept of a logical fibering is developed. This was motivated by a project where so-called polycontextural logics were discussed. The fiber space approach provides a rather general framework for the modeling of such non classical logics. It gives the possibility to construct a variety of new logical spaces from a given (indexed) system of logics. These spaces are in some sense parallel (inference) systems. We can give a straight forward definition and classification of the so-called transjunctions arising in polycontextural logics. These are bivariate operations having values distributed over different logical subsystems. Univariate, bivariate operations are introduced in functional notation. The group generated by the generalized negation operations and system changes is investigated. We make some remarks on aspects of applicability and links to other work.