Connection methods in linear logic and proof nets construction (Q1575926): Difference between revisions

@@ Property / author @@
+Didier Galmiche
@@ Property / author: Didier Galmiche / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842978
@@ Property / cites work: Q4842978 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Linear Logic to Computation: An Overview
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501135
@@ Property / cites work: Q4501135 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent reconstruction in LLM -- A sweepline proof
+Normal rank
@@ Property / cites work @@
+A decision procedure revisited: Notes on direct logic, linear logic and its implementation
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+A deductive solution for plan generation
@@ Property / cites work: A deductive solution for plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q5634868
@@ Property / cites work: Q5634868 / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4223029
@@ Property / cites work: Q4223029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757832
@@ Property / cites work: Q2757832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255504
@@ Property / cites work: Q4255504 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501142
@@ Property / cites work: Q4501142 / rank @@
+Normal rank
@@ Property / cites work @@
+On proof normalization in linear logic
@@ Property / cites work: On proof normalization in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic as a logic of computations
@@ Property / cites work: Linear logic as a logic of computations / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable fragment of predicate calculus
@@ Property / cites work: A decidable fragment of predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Connection-based proof construction in linear logic
+Normal rank
@@ Property / cites work @@
+What is the inverse method?
@@ Property / cites work: What is the inverse method? / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution calculus for the first order linear logic
+Normal rank
@@ Property / cites work @@
+Some Syntactical Observations on Linear Logic
@@ Property / cites work: Some Syntactical Observations on Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Converting non-classical matrix proofs into sequent-style systems
+Normal rank
@@ Property / cites work @@
+Proof strategies in linear logic
@@ Property / cites work: Proof strategies in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-search in intuitionistic logic based on constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126382659
@@ Property / Wikidata QID: Q126382659 / rank @@
+Normal rank