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
Relative efficiency of a proof system for classical propositional logic - MaRDI portal

Relative efficiency of a proof system for classical propositional logic

From MaRDI portal

Publication:2488582

Jump to:navigation, search

zbMath1087.03517MaRDI QIDQ2488582

A. A. Chubaryan

Publication date: 26 May 2006

Published in: Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences (Search for Journal in Brave)

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items (1)

PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS

This page was built for publication: Relative efficiency of a proof system for classical propositional logic

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