base-extension semantics 1fully abstract semantics 1game semantics 1hyland-ong games 1proof-theoretic semantics 1
From the 1 of 7 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
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…
cs.LO2024
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…