LINK: A proof environment based on proof nets

DOI10.1007/3-540-45616-3_23MaRDI QIDQ4412869zbMATH OpenFDO

Authors Luc Habert, J. M. Notin, Didier Galmiche

Publication date 17 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2381/23810330.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1231698
• Connection methods in linear logic and proof nets construction
• Proof-search and proof nets in mixed linear logic
• A procedure for automatic proof nets construction
• Computer Science Logic

Cited in

(2)

• LINK
• Proof-search and proof nets in mixed linear logic

This page was built for publication: LINK: A proof environment based on proof nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412869)