scientific article; zbMATH DE number 1497801

zbMATH Open0959.03508MaRDI QIDQ4499219

Thomas Streicher

Publication date: 4 March 2001

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

Mathematics Subject Classification ID

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

Related Items (10)

Syntactic characterizations of completeness using duals and operators ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Expressive completeness and decidability ⋮ Title not available (Why is that?) ⋮ Programming Languages and Systems ⋮ On denotational completeness ⋮ Corrigendum: On infinite computations in denotational semantics ⋮ The Smyth Completion ⋮ Completeness issues in RUE-NRF deduction: The undecidability of viability ⋮ Incomplete symbols -- definite descriptions revisited

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