4 citations · 9 across the 6 of their papers we have counts for
4 papers · 1 filter
A Categorical Approach to DIBI Models
Tao Gu, Jialu Bao, Justin Hsu +2
The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in pr…
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
Alexander V. Gheorghiu, Tao Gu, David J. Pym
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linea…
A Complete Diagrammatic Calculus for Boolean Satisfiability
Tao Gu, Robin Piedeleu, Fabio Zanasi
We propose a calculus of string diagrams to reason about satisfiability of Boolean formulas, and prove it to be sound and complete. We then showcase our calculus in a few case stud…
Coalgebraic Semantics for Probabilistic Logic Programming
Tao Gu, Fabio Zanasi
Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming…