Australasian Journal of Logic 18 (1):1-24 (2021)
Authors |
|
Abstract |
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 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hughes Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam: North-Holland Publishing Company. pp. 199-243.
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
Neighbourhood Semantics for Quantified Relevant Logics.Andrew Tedder & Nicholas Ferenz - 2022 - Journal of Philosophical Logic 51 (3):457-484.
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.
Relevance Logics and Relation Algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
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.
Information, Awareness and Substructural Logics.Igor Sedlár - 2013 - In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281.
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.
On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
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.
An Information-Based Theory of Conditionals.Wayne Wobcke - 2000 - Notre Dame Journal of Formal Logic 41 (2):95-141.
Analytics
Added to PP index
2021-03-15
Total views
2 ( #1,447,142 of 2,505,228 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,228 )
2021-03-15
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?
Downloads