scientific article; zbMATH DE number 1748578

MaRDI QIDQ4530463zbMATH OpenFDO

Authors Bertram Fronhöfer

Publication date 13 November 2002

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)

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

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
• scientific article; zbMATH DE number 2189929 (Why is no real title available?)
• 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)