Australasian Journal of Logic 18 (1):1-24 (2021)

Andrew Tedder
University of Lethbridge
Andrew Tedder
Czech Academy of Sciences
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).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v18i1.6288
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,039
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Semantics for Relevant Logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
Information Flow and Relevant Logics.Greg Restall - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. CSLI Publications, Stanford. pp. 463–477.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.

View all 7 references / Add more references

Citations of this work BETA

Semantic Conceptions of Information.Luciano Floridi - 2008 - Stanford Encyclopedia of Philosophy.
Neighbourhood Semantics for Quantified Relevant Logics.Andrew Tedder & Nicholas Ferenz - 2022 - Journal of Philosophical Logic 51 (3):457-484.

Add more citations

Similar books and articles

An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
On S.André Fuhrmann & Edwin D. Mares - 1994 - Studia Logica 53 (1):75 - 91.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Berlin: Springer. pp. 268-283.
On the Logic of Information Flow.Jon Barwise, Dov Gabby & Chrysafis Hartonas - 1995 - Logic Journal of the IGPL 3 (1):7-50.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
An Information-Based Theory of Conditionals.Wayne Wobcke - 2000 - Notre Dame Journal of Formal Logic 41 (2):95-141.


Added to PP index

Total views
2 ( #1,447,142 of 2,505,228 )

Recent downloads (6 months)
1 ( #416,705 of 2,505,228 )

How can I increase my downloads?


My notes