Tao Gu

16 papers B 8Journal 8
YearRankTypeTitle / Venue / Authors
2024 B conf
A Categorical Approach to DIBI Models.
FSCD
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
A Categorical Approach to DIBI Models.
CoRR
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
A Note on an Inferentialist Approach to Resource Semantics.
CoRR
Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024 J jnl
A Note on the Practice of Logical Inferentialism.
CoRR
Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024 B conf
Inferentialist Resource Semantics.
MFPS
Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023 B conf
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.
TABLEAUX
Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023 J jnl
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.
CoRR
Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023 J jnl
Proof-theoretic Semantics for the Logic of Bunched Implications.
CoRR
Tao Gu, Alexander V. Gheorghiu, David J. Pym
2022 B conf
A Complete Diagrammatic Calculus for Boolean Satisfiability.
MFPS
Tao Gu, Robin Piedeleu, Fabio Zanasi
2021 J jnl
Coalgebraic Semantics for Probabilistic Logic Programming.
Log. Methods Comput. Sci.
Tao Gu, Fabio Zanasi
2021 B conf
Functorial Semantics as a Unifying Perspective on Logic Programming.
CALCO
Tao Gu, Fabio Zanasi
2020 J jnl
Coalgebraic Semantics for Probabilistic Logic Programming.
CoRR
Tao Gu, Fabio Zanasi
2020 B conf
Hennessy-Milner Results for Probabilistic PDL.
MFPS
Tao Gu, Alexandra Silva, Fabio Zanasi
2019 B conf
A Coalgebraic Perspective on Probabilistic Logic Programming.
CALCO
Tao Gu, Fabio Zanasi
2016 J jnl
"Knowing value" logic as a normal modal logic.
CoRR
Tao Gu, Yanjing Wang
2016 B conf
"Knowing value'' logic as a normal modal logic.
Advances in Modal Logic
Tao Gu, Yanjing Wang