Inferentialist resource semantics

DOI10.46298/ENTICS.14727MaRDI QIDQ6831449zbMATH OpenFDO

Authors Alexander V. Gheorghiu, Tao Gu, David Pym

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.14727

zbMATH Keywords

bunched logicinferentialismlinear logicproof-theoretic semanticsresource semanticssystems modelling

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A calculus and logic of bunched resources and processes
• A discipline of mathematical systems modelling
• A normalizing system of natural deduction for intuitionistic linear logic
• A substructural epistemic resource logic: theory and modelling applications
• Base-extension semantics for intuitionistic sentential logic
• BI as an assertion language for mutable data structures
• Bunched logics displayed
• Categorical proof-theoretic semantics
• Classical logic without bivalence
• Completeness in Proof-Theoretic Semantics
• Computational interpretations of linear logic
• Deep sequent systems for modal logic
• Failure of completeness in proof-theoretic semantics
• Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 2016063 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Hypothesis-discharging rules in atomic bases
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Information Flow
• Kripke models for linear logic
• Linear logic
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• On the Concept of Following Logically
• Proof-theoretic semantics
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Relational semantics for full linear logic
• Resource-distribution via Boolean constraints
• Semantical analysis of the logic of bunched implications
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• The Logic of Bunched Implications
• The semantics and proof theory of the logic of bunched implications
• The semantics of BI and resource tableaux

Cited in

(2)

• Base-extension semantics for intuitionistic modal logics (extended abstract)
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

This page was built for publication: Inferentialist resource semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831449)