scientific article; zbMATH DE number 7178365

MaRDI QIDQ5219930zbMATH OpenFDO

Authors Alessio Guglielmi

Publication date 9 March 2020

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited in

(5)

• On the logical philosophy of assertive graphs
• scientific article; zbMATH DE number 7441265 (Why is no real title available?)
• A Subatomic Proof System for Decision Trees
• Coherence for Frobenius pseudomonoids and the geometry of linear proofs
• A semantic proof of generalised cut elimination for deep inference

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 Q5219930)