Channel Composition and Ternary Relation Semantics.

The focus of this paper is on the channel-theoretic interpretation given by Restall [19] as built on work by Barwise [2] in the framework of situation se- mantics. I characterise the notion of serial composition of channels, due to Barwise, and extend the ternary relation semantic framework to incorporate sets of points fitting the bill. It is shown that such an extension of the basic ternary relation semantic framework by such points is adequate for B∧, and so that restricting the class of B∧ models to those including composites is conser- vative over B∧. We close by noting directions for future research.

Authors

• Andrew Tedder

Keywords

• channel theory
• information based logic
• relevant logic
• situation semantics
• ternary relation semantics