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
Primal Infon Logic: Derivability in Polynomial Time - MaRDI portal

Primal Infon Logic: Derivability in Polynomial Time

From MaRDI portal

Publication:2963910

Jump to:navigation, search

DOI10.4230/LIPICS.FSTTCS.2013.163zbMath1359.03026OpenAlexW2244480826MaRDI QIDQ2963910

Prasad Naldurg, Anguraj Baskar, S. P. Suresh, K. R. Raghavendra

Publication date: 21 February 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.FSTTCS.2013.163

zbMATH Keywords

cut elimination proof theory intuitionistic modal logic subformula property authorization logics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70)

Related Items (1)

The Complexity of Disjunction in Intuitionistic Logic

This page was built for publication: Primal Infon Logic: Derivability in Polynomial Time

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