4 citations · 9 across the 6 of their papers we have counts for
6 papers
Continuations and Completeness in Proof-theoretic Semantics
Tao Gu, David Pym, Eike Ritter +1
This is a short paper about the relationship between logic and computation. More specifically, it is about a relationship between the completeness proof for intuitionistic proposit…
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…
"Knowing value" logic as a normal modal logic
Tao Gu, Yanjing Wang
Recent years witness a growing interest in nonstandard epistemic logics of "knowing whether", "knowing what", "knowing how", and so on. These logics are usually not normal, i.e., t…