scientific article
From MaRDI portal
Publication:3019505
zbMath1245.03001MaRDI QIDQ3019505
Publication date: 28 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Current trends in substructural logics ⋮ On structural features of the implication fragment of Frege's \textit{Grundgesetze} ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ On the decidability of implicational ticket entailment ⋮ Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment ⋮ Lambek calculus with conjugates
This page was built for publication:
