scientific article; zbMATH DE number 1324433
From MaRDI portal
Publication:4255504
zbMath0920.03015MaRDI QIDQ4255504
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Unnamed Item, On proof normalization in linear logic, Connection-based proof construction in linear logic, Connection methods in linear logic and proof nets construction, Proof-search in type-theoretic languages: An introduction
