scientific article; zbMATH DE number 1231521

zbMath0908.03050MaRDI QIDQ4222836

François Lamarche

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#lamarche

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness theoremproof netscorrectness criterionintuitionistic linear logicgames semantics

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: