Proof-theoretic semantics for intuitionistic multiplicative linear logic

DOI10.1007/978-3-031-43513-3_20MaRDI QIDQ6541162

Tao Gu, David Pym, Alexander V. Gheorghiu

Publication date: 17 May 2024

zbMATH Keywords

proof theorysubstructural logicsemanticslogicproof-theoretic semanticsmultiplicative connectives

Mathematics Subject Classification ID

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

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)