Information Flow in Logics in the Vicinity of BB

0540128 - ÚI 2022 RIV AU eng J - Journal Article
Tedder, Andrew
Information Flow in Logics in the Vicinity of BB.
Australasian Journal of Logic. Roč. 18, č. 1 (2021), č. článku 1. E-ISSN 1448-5052
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Relevant Logic * Situation Semantics * Information Flow * Channel Theory
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access

Situation theory, and channel theory in particular, have been used to provide motivational accounts of the ternary relation semantics of relevant, substructural, and various non-classical logics. Among the constraints imposed by channel-theory, we must posit a certain existence criterion for situations which result from the composites of multiple channels (this is used in modeling information flow). In associative non-classical logics, it is relatively easy to show that a certain such condition is met, but the problem is trickier in non-associative logics. Following Tedder (2017), where it was shown that the conjunction-conditional fragment of the logic B admits the existence of composite channels, I present a generalised ver- sion of the previous argument, appropriate to logics with disjunction, in the neighbourhood ternary relation semantic framework. I close by suggesting that the logic BB+(^I), which falls between Lavers' system BB+ and B+ , satisfies the conditions for the general argument to go through (and prove that it satisfies all but one of those conditions).
Permanent Link: http://hdl.handle.net/11104/0317779