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
Canonicity of proofs in constructive modal logic - MaRDI portal

Canonicity of proofs in constructive modal logic

From MaRDI portal

Publication:6541161

Jump to:navigation, search

DOI10.1007/978-3-031-43513-3_19MaRDI QIDQ6541161

Federico Olimpieri, Davide Catta, Matteo Acclavio

Publication date: 17 May 2024

zbMATH Keywords

lambda calculus game semantics constructive modal logic

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Canonicity of proofs in constructive modal logic

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