The following pages link to On the Logic of Information Flow (Q4834292):
Displaying 11 items.
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- Causal dynamic inference (Q1935591) (← links)
- Information flow in logic for distributed systems: extending graded consequence (Q2214982) (← links)
- Grammar specification in categorial logics and theorem proving (Q4647559) (← links)
- (Q5419888) (← links)
- Static Analysis (Q5466553) (← links)
- (Q5691522) (← links)
- Disjunctive Information Flow for Communicating Processes (Q5857794) (← links)
- Inputs, Outputs, and Composition in the Logic of Information Flows (Q6082230) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)