scientific article; zbMATH DE number 700092
From MaRDI portal
Publication:4315290
zbMath0804.03019MaRDI QIDQ4315290
Publication date: 6 December 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut eliminationsequent calculussubstructural logicintuitionistic logiclambda calculusfunctional completenessinformation processinginformation structuremonoid modelsformulas-as-typesstrong constructive negation
Database theory (68P15) Cut-elimination and normal-form theorems (03F05) Information storage and retrieval of data (68P20) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80)
Related Items (3)
Categorial Grammars and Their Logics ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ The finite model property for BCI and related systems
This page was built for publication:
