Proof-theoretic semantics for intuitionistic multiplicative linear logic

DOI10.1007/978-3-031-43513-3_20MaRDI QIDQ6541162zbMATH OpenFDO

Authors Alexander V. Gheorghiu, Tao Gu, David Pym

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-43513-3_20

zbMATH Keywords

logicmultiplicative connectivesproof theoryproof-theoretic semanticssemanticssubstructural logic

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Base-extension semantics for intuitionistic sentential logic
• Classical logic without bivalence
• Completeness in Proof-Theoretic Semantics
• Epistemology, knowledge and the impact of interaction
• Failure of completeness in proof-theoretic semantics
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (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 1406807 (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
• Kripke models for linear logic
• Logic and structure
• On an inferential semantics for classical logic
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• On the Concept of Following Logically
• On the proof-theoretic foundation of general definition theory
• Partial inductive definitions
• Proof-theoretic semantics and inquisitive logic
• Relational semantics for full linear logic
• The definitional view of atomic systems in proof-theoretic semantics
• The Logic of Bunched Implications
• Validity concepts in proof-theoretic semantics

Cited in

(7)

• Inferentialist resource semantics
• Base-extension semantics for intuitionistic modal logics (extended abstract)
• A sequent calculus perspective on base-extension semantics
• On an inferential semantics for intuitionistic sentential logic
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic

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 Q6541162)