2 citations · 5 across the 5 of their papers we have counts for
5 papers · 1 filter
On the Logical Content of Knowledge Bases
Alexader V. Gheorghiu, Tao Gu
Standard epistemic logics introduce a modal operator K to represent knowledge, but in doing so they presuppose the logical apparatus they aim to explain. By contrast, this paper ex…
A Note on an Inferentialist Approach to Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires a…
A Note on the Practice of Logical Inferentialism
Alexander V. Gheorghiu, Tao Gu, David J. Pym
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Inferentialist Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems f…
Proof-theoretic Semantics for the Logic of Bunched Implications
Tao Gu, Alexander V. Gheorghiu, David J. Pym
The logic of bunched implications (BI) can be seen as the free combination of intuitionistic propositional logic (IPL) and intuitionistic multiplicative linear logic (IMLL). We pre…