scientific article
From MaRDI portal
Publication:3532204
zbMath1245.03015MaRDI QIDQ3532204
Federico Aschieri, Corrado Biasi
Publication date: 3 November 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subtractive logiclambda calculusstrong normalizationbi-intuitionistic logicintuitionistic logic for pragmatics
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Dualized Simple Type Theory ⋮ Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I” ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
This page was built for publication:
