Abstract :
[en] We introduce Information Bearing Relation Systems (IBRS) a
s an abstraction of many logical
systems. We then define a general semantics for IBRS, and show
that a special case of IBRS generalizes
in a very natural way preferential semantics and solves open
representation problems for weak logical
systems. This is possible, as we can ”break” the strong coher
ence properties of preferential structures
by higher arrows, i.e. arrows, which do not go to points, but t
o arrows themselves
Scopus citations®
without self-citations
1