scientific article; zbMATH DE number 1421197
From MaRDI portal
Publication:4946226
zbMath0954.03008MaRDI QIDQ4946226
Ruy J. G. B. de Queiroz, Dov M. Gabbay
Publication date: 5 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22)
Related Items
The Functional Interpretation of Direct Computations ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Natural Deduction for Equality: The Missing Entity
This page was built for publication:
