Proof-theoretic semantics for intuitionistic multiplicative linear logic

DOI10.1007/S11225-024-10158-6MaRDI QIDQ7237611zbMATH OpenFDO

Authors Alexander V. Gheorghiu, Tao Gu, David Pym

Publication date 30 April 2026

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11225-024-10158-6

zbMATH Keywords

logicmultiplicative connectivesproof theoryproof-theoretic semanticsresourcessemanticssubstructural logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• (Co)end Calculus
• (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
• A logical analysis of modules in logic programming
• Advances in proof-theoretic semantics
• An Invitation to Applied Category Theory
• Base-extension semantics for intuitionistic sentential logic
• Categorical logic and type theory
• Categorical proof-theoretic semantics
• Classical logic without bivalence
• Completeness in Proof-Theoretic Semantics
• Computational interpretations of linear logic
• Failure of completeness in proof-theoretic semantics
• Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (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 3367095 (Why is no real title available?)
• Hypothesis-discharging rules in atomic bases
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Inferentialist resource semantics
• Kripke models for linear logic
• Logic programming in a fragment of intuitionistic linear logic
• On an inferential semantics for classical logic
• On closed categories of functors
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• On the Concept of Following Logically
• On the concept of logical consequence.
• On the proof-theoretic foundation of general definition theory
• Partial inductive definitions
• Proof-theoretic semantics
• Proof-theoretic semantics and inquisitive logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Relational semantics for full linear logic
• Semantical analysis of the logic of bunched implications
• Sheaves in geometry and logic: a first introduction to topos theory
• The definitional view of atomic systems in proof-theoretic semantics
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• The Logic of Bunched Implications
• Validity concepts in proof-theoretic semantics

This page was built for publication: Proof-theoretic semantics for intuitionistic multiplicative linear logic

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