scientific article; zbMATH DE number 1748578

zbMATH Open0997.03044MaRDI QIDQ4530463FDOQ4530463

Authors: Bertram Fronhöfer 

Publication date: 13 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1231506
• scientific article; zbMATH DE number 1748580
• Proofs with graphs
• Calculational proofs in relational graphical linear algebra
• A note on proofs with graphs
• scientific article; zbMATH DE number 2020175
• scientific article; zbMATH DE number 3918416
• A new graphical calculus of proofs
• scientific article; zbMATH DE number 5057511

zbMATH Keywords

linear logictheorem provingswitch graphscompletely unnested matricesConnection Methodcorrectness of proof structuresDanos-Regnier Criterion

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (6)

• A note on proofs with graphs
• Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)
• Man-machine theorem proving in graph theory
• Title not available (Why is that?)
• Calculational proofs in relational graphical linear algebra
• Converting non-classical matrix proofs into sequent-style systems

This page was built for publication:

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