Inferentialist Resource Semantics

arXiv:2402.09217v1 Announce Type: cross
Abstract: 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 for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the resources and states of the system; such an interpretation is called a resource semantics of the logic. This paper shows how inferentialism -- …

arxiv automated cs.cr cs.lo cs.sy eess.sy end important logic processes purpose reasoning relative resource resources system systems terms