Inferentialist Resource Semantics

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 require...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Electronic Notes in Theoretical Informatics and Computer Science Ročník 4 - Proceedings of...
Hlavní autori: Gheorghiu, Alexander V., Gu, Tao, Pym, David J.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: 11.12.2024
ISSN:2969-2431, 2969-2431
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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 -- the view that meaning is given in terms of inferential behaviour -- enables a versatile and expressive framework for resource semantics. Specifically, how inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications, foundational in program verification (e.g., as the basis of Separation Logic), and the renowned number-of-uses reading of Linear Logic. This integration enables reasoning about shared and separated resources in intuitive and familiar ways, as well as about the composition and interfacing of system components.
AbstractList 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 -- the view that meaning is given in terms of inferential behaviour -- enables a versatile and expressive framework for resource semantics. Specifically, how inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications, foundational in program verification (e.g., as the basis of Separation Logic), and the renowned number-of-uses reading of Linear Logic. This integration enables reasoning about shared and separated resources in intuitive and familiar ways, as well as about the composition and interfacing of system components.
Author Pym, David J.
Gu, Tao
Gheorghiu, Alexander V.
Author_xml – sequence: 1
  givenname: Alexander V.
  surname: Gheorghiu
  fullname: Gheorghiu, Alexander V.
– sequence: 2
  givenname: Tao
  surname: Gu
  fullname: Gu, Tao
– sequence: 3
  givenname: David J.
  surname: Pym
  fullname: Pym, David J.
BookMark eNpNj0tLAzEURoNUsNYu3dcfkJqb150spagtFATtPuRxAwPtjCR14b8Xpy5cfWfzHTi3bDaMAzF2D2KtrXTdIw3nPrU1aJR4xebSWcelVjD7xzds2VofhQHRGeNwzh52Q6H6-w3Hvp1X79TGr5po9UGnMBnv2HUJx0bLv12ww8vzYbPl-7fX3eZpzxMick2FshWIZDHa2NksDbloMUDqrMwxllSykg5UjCa7KI1TzgKUoEmIohaMX7Spjq1VKv6z9qdQvz0IPxX6S6GfCtUPpapG7A
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.46298/entics.14727
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList CrossRef
DeliveryMethod fulltext_linktorsrc
EISSN 2969-2431
ExternalDocumentID 10_46298_entics_14727
GroupedDBID AAFWJ
AAYXX
ADQAK
CITATION
M~E
ID FETCH-LOGICAL-c777-4efed6077e67b6b86d25e9b67a1c862dbbfcfd32913bb5d9b25939611fa4e00f3
ISSN 2969-2431
IngestDate Wed Oct 29 21:22:19 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
License https://creativecommons.org/licenses/by/4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c777-4efed6077e67b6b86d25e9b67a1c862dbbfcfd32913bb5d9b25939611fa4e00f3
OpenAccessLink https://entics.episciences.org/14727/pdf
ParticipantIDs crossref_primary_10_46298_entics_14727
PublicationCentury 2000
PublicationDate 2024-12-11
PublicationDateYYYYMMDD 2024-12-11
PublicationDate_xml – month: 12
  year: 2024
  text: 2024-12-11
  day: 11
PublicationDecade 2020
PublicationTitle Electronic Notes in Theoretical Informatics and Computer Science
PublicationYear 2024
SSID ssib051085597
Score 2.276396
Snippet In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in...
SourceID crossref
SourceType Index Database
Title Inferentialist Resource Semantics
Volume 4 - Proceedings of...
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2969-2431
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssib051085597
  issn: 2969-2431
  databaseCode: M~E
  dateStart: 20230101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NS8MwFA86PXgRRcVvKoiX0drPpDmKTFRweCiyW2maRAeuG_uQefFv9yVtYyc7zIOXUtImJPm1v-al7_ceQpcSC89lBGwTEudqt4rZLGfE5pFUOsuY8jzWySZItxv3evS5cuWd6HQCpCji-ZyO_hVqKAOwlXT2D3CbRqEAzgF0OALscFwJ-IdSwgdv7jtAaPbngRUGMIu1c3u9Gf-TBac7nGrnrFKuX2kbK7WSieVcJ4GoOcG476g6r2_92YJopv3imBv0lSQbGi7-HBif-vaj09x98HWMw4odNUn5FKs_NBWTiyVlFcuGbbvUPuhvsnJTcRxnGYeH2KexRk6NDZiclMEDFmNl__qGGc9CsGl0A2lZPdXV19GGTyKqPP6evjo13URKeBHp9Dumx2UUVt3CdbMDjVVLY_mR7KDtym6wbkq8d9GaKPbQxSLWVo21ZbDeR8ldJ7m9t6ucF3ZOCLFDIQXHLiECE4ZZjLkfCcowybwcbE_OmMwlD3zqBYxFnDKwXgOKPU9moXBdGRygVjEsxCGyQsKEq8M5ejykgaSS5xjWeyILY1inZUfoqh5SOiojm6RLZ-941RtP0NbPI3KKWtPxTJyhzfxj2p-Mz_XcfwNlWEbu
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Inferentialist+Resource+Semantics&rft.jtitle=Electronic+Notes+in+Theoretical+Informatics+and+Computer+Science&rft.au=Gheorghiu%2C+Alexander+V.&rft.au=Gu%2C+Tao&rft.au=Pym%2C+David+J.&rft.date=2024-12-11&rft.issn=2969-2431&rft.eissn=2969-2431&rft.volume=4+-+Proceedings+of...&rft_id=info:doi/10.46298%2Fentics.14727&rft.externalDBID=n%2Fa&rft.externalDocID=10_46298_entics_14727
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2969-2431&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2969-2431&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2969-2431&client=summon