Tao Gu

Orcid: 0000-0001-5749-0758

Affiliations:
  • University College London, UK
  • University of Amsterdam, ILLC, The Netherlands (former)
  • Peking University, Department of Philosophy, Beijing, China (former)


According to our database1, Tao Gu authored at least 12 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Note on an Inferentialist Approach to Resource Semantics.
CoRR, 2024

A Note on the Practice of Logical Inferentialism.
CoRR, 2024

Inferentialist Resource Semantics.
CoRR, 2024

A Categorical Approach to DIBI Models.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023
Proof-theoretic Semantics for the Logic of Bunched Implications.
CoRR, 2023

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022
A Complete Diagrammatic Calculus for Boolean Satisfiability.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021
Coalgebraic Semantics for Probabilistic Logic Programming.
Log. Methods Comput. Sci., 2021

Functorial Semantics as a Unifying Perspective on Logic Programming.
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020
Hennessy-Milner Results for Probabilistic PDL.
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

2019
A Coalgebraic Perspective on Probabilistic Logic Programming.
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2016
"Knowing value'' logic as a normal modal logic.
Proceedings of the Advances in Modal Logic 11, 2016


  Loading...