Follow
Tao Gu
Tao Gu
Verified email at ucl.ac.uk
Title
Cited by
Cited by
Year
" Knowing value" logic as a normal modal logic
T Gu, Y Wang
arXiv preprint arXiv:1604.08709, 2016
342016
Proof-theoretic semantics for intuitionistic multiplicative linear logic
AV Gheorghiu, T Gu, DJ Pym
Studia Logica, 1-61, 2024
132024
A complete diagrammatic calculus for boolean satisfiability
T Gu, R Piedeleu, F Zanasi
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
72023
Proof-theoretic Semantics for the Logic of Bunched Implications
T Gu, AV Gheorghiu, DJ Pym
arXiv preprint arXiv:2311.16719, 2023
42023
Coalgebraic semantics for probabilistic logic programming
T Gu, F Zanasi
Logical Methods in Computer Science 17, 2021
42021
Functorial semantics as a unifying perspective on logic programming
T Gu, F Zanasi
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), 2021
42021
A coalgebraic perspective on probabilistic logic programming
T Gu, F Zanasi
Dagstuhl Publishing, 2019
22019
Hennessy-milner results for probabilistic pdl
T Gu, A Silva, F Zanasi
Electronic Notes in Theoretical Computer Science 352, 283-304, 2020
12020
Categorical modelling of logic programming: coalgebra, functorial semantics, string diagrams
T Gu
UCL (University College London), 2023
2023
A Complete Diagrammatic Calculus for Boolean Satisfiability
TGRPF Zanasi
2022
The system can't perform the operation now. Try again later.
Articles 1–10