Connection methods in linear logic and proof nets construction
type: Item
instance of: scholarly article
title: Connection methods in linear logic and proof nets construction
zbMATH Open document ID: 0951.03055
DOI: 10.1016/S0304-3975(99)00176-0
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1495203
zbMATH Keywords: multiplicative linear logic
zbMATH Keywords: fragments of linear logic
zbMATH Keywords: proof net
zbMATH Keywords: automated deduction
zbMATH Keywords: proof-search connection method
zbMATH Keywords: additive fragment
author: Didier Galmiche
MaRDI profile type: Publication
cites work: Q4842978
cites work: Applications of Linear Logic to Computation: An Overview
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Theorem Proving via General Matings
cites work: Q4501135
cites work: Sequent reconstruction in LLM -- A sweepline proof
cites work: A decision procedure revisited: Notes on direct logic, linear logic and its implementation
cites work: On Matrices with Connections
cites work: A deductive solution for plan generation
cites work: The structure of multiplicatives
cites work: Q5634868
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Q4223029
cites work: Q2757832
cites work: Q4255504
cites work: Q4501142
cites work: On proof normalization in linear logic
cites work: Linear logic
cites work: Q4842981
cites work: Q4842966
cites work: Q4896506
cites work: Linear logic as a logic of computations
cites work: A decidable fragment of predicate calculus
cites work: Connection-based proof construction in linear logic
cites work: What is the inverse method?
cites work: Decision problems for propositional linear logic
cites work: Forum: A multiple-conclusion specification logic
cites work: Resolution calculus for the first order linear logic
cites work: Some Syntactical Observations on Linear Logic
cites work: Converting non-classical matrix proofs into sequent-style systems
cites work: Proof strategies in linear logic
cites work: Proof-search in intuitionistic logic based on constraint satisfaction
cites work: Q3999539
Wikidata QID: Q126382659
description: scientific article; zbMATH DE number 1495203