Proof-theoretic semantics for intuitionistic multiplicative linear logic
From MaRDI portal
Publication:6541162
DOI10.1007/978-3-031-43513-3_20MaRDI QIDQ6541162
Tao Gu, David Pym, Alexander V. Gheorghiu
Publication date: 17 May 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational semantics for full linear logic
- Epistemology, knowledge and the impact of interaction
- Partial inductive definitions
- Proof-theoretic semantics and inquisitive logic
- On the proof-theoretic foundation of general definition theory
- Validity concepts in proof-theoretic semantics
- Failure of completeness in proof-theoretic semantics
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Kripke models for linear logic
- The Logic of Bunched Implications
- Base-extension semantics for intuitionistic sentential logic
- Classical logic without bivalence
- On the Concept of Following Logically
- On an inferential semantics for classical logic
- Hypothesis-Discharging Rules in Atomic Bases
- On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
- Completeness in Proof-Theoretic Semantics
- Logic and structure
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)
