9 papers
Inferentialist Game Semantics (Extended Abstract)
Joaquim T. Waddington, Alexander V. Gheorghiu, David J. Pym
Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts th…
Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
Matthew Collinson, Timo Eckhardt, David Pym
Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logic…
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…
Proof-theoretic Semantics for Second-order Logic
Alexander V. Gheorghiu, David J. Pym
We develop a proof-theoretic semantics (P-tS) for second-order logic (S-oL), providing an inferentialist alternative to both full and Henkin model-theoretic interpretations. Our ap…
Base-extension Semantics for Intuitionistic Modal Logics
Yll Buzoku, David. J. Pym
The proof theory and semantics of intuitionistic modal logics have been studied by Simpson in terms of Prawitz-style labelled natural deduction systems and Kripke models. An altern…
Semantic Foundations of Reductive Reasoning
Alexander V. Gheorghiu, David J. Pym
The development of logic has largely been through the 'deductive' paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both hu…
Inferentialist Public Announcement Logic: Base-extension Semantics
Timo Eckhardt, David J. Pym
Proof-theoretic semantics, and base-extension semantics in particular, can be seen as a logical realization of inferentialism, in which the meaning of expressions is understood thr…
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…
Base-extension Semantics for S5 Modal Logic
Timo Eckhardt, David Pym
We develop a proof-theoretic semantics -- in particular, a base-extension semantics -- for multi-agent S5 modal logic (and hence also for the usual unindexed S5). Following the inf…