Inhabitants of intuitionistic implicational theorems

DOI10.1007/978-3-662-57669-4_1OpenAlexW2811159399MaRDI QIDQ1799268

Katalin Bimbó

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_1

zbMATH Keywords

sequent calculusintuitionistic logicCurry-Howard correspondencecombinator

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Inhabitants of intuitionistic implicational theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799268)