scientific article; zbMATH DE number 1748578

zbMATH Open0997.03044MaRDI QIDQ4530463FDOQ4530463

Bertram Fronhöfer

Publication date: 13 November 2002

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

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

Recommendations

• Proofs with graphs 👍 👎
• A note on proofs with graphs 👍 👎
• Calculational proofs in relational graphical linear algebra 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)