On the Logic of Information Flow
From MaRDI portal
Publication:4834292
DOI10.1093/jigpal/3.1.7zbMath0831.03012OpenAlexW1985931606MaRDI QIDQ4834292
Chrysafis Hartonas, Jon Barwise, Dov M. Gabbay
Publication date: 20 February 1996
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9dc1cd02119479acc05d9e6060bbe16b260c260c
semanticssubstructural logicssequent calculiinformation flowinformation networkslabelled deductive systemssituation theory
Related Items
Causal dynamic inference, Choice-free topological duality for implicative lattices and Heyting algebras, Grammar specification in categorial logics and theorem proving, Using tableaux to automate the Lambek and other categorial calculi