Publication:4842981
From MaRDI portal
zbMath0828.03027MaRDI QIDQ4842981
Publication date: 18 December 1995
linear logic; unification; \(C^*\)-algebras; cut-elimination; logic programming; extended sequent calculus
46L99: Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.)
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03F05: Cut-elimination and normal-form theorems
68N17: Logic programming
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Unnamed Item, A correspondence between maximal abelian sub-algebras and linear logic fragments, On geometry of interaction for polarized linear logic, Dynamic game semantics, A MALL geometry of interaction based on indexed linear logic, Abstract machines, optimal reduction, and streams, lambda!-calculus, Intersection Types, and Involutions, Transcendental syntax I: deterministic case, Classical Structures Based on Unitaries, Proofs as Polynomials, Unnamed Item, Representation of partial traces, Interaction graphs: graphings, Geometry of interaction. V: Logic in the hyperfinite factor, Musings around the geometry of interaction, and coherence, Towards a geometry of recursion, A categorical model for the geometry of interaction, Interaction graphs: additives, A proof-theoretic investigation of a logic of positions, Connection methods in linear logic and proof nets construction, Interaction nets for linear logic, Partially traced categories, A game-semantic model of computation, A structural approach to reversible computation, Unary Resolution: Characterizing Ptime, Unnamed Item