scientific article; zbMATH DE number 786496

zbMath0826.03025MaRDI QIDQ4842977

No author found.

Publication date: 16 August 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

subnets of proof-netsmultiplicative linear logic without propositional constants

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Jump from parallel to sequential proofs: exponentials ⋮ Natural deduction and coherence for weakly distributive categories ⋮ Unnamed Item ⋮ Proof nets sequentialisation in multiplicative linear logic ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Unnamed Item ⋮ Permutability of proofs in intuitionistic sequent calculi ⋮ Deep inference and expansion trees for second-order multiplicative linear logic

This page was built for publication: