Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Curry-Howard-Lambek Correspondence for Intuitionistic Belief - MaRDI portal

Curry-Howard-Lambek Correspondence for Intuitionistic Belief

From MaRDI portal

Publication:6342036

Jump to:navigation, search

DOI10.1007/S11225-021-09952-3arXiv2006.02417MaRDI QIDQ6342036

Cosimo Perini Brogi

Publication date: 3 June 2020

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: Curry-Howard-Lambek Correspondence for Intuitionistic Belief

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6342036&oldid=35956144"