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
Complexity of deductions in a system of classical propositional calculus - MaRDI portal

Complexity of deductions in a system of classical propositional calculus

From MaRDI portal

Publication:5942588

Jump to:navigation, search

zbMath1003.03509MaRDI QIDQ5942588

A. A. Chubaryan

Publication date: 4 December 2001

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

zbMATH Keywords

classical propositional logic complete axiom system complexity of proofs tautology

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

This page was built for publication: Complexity of deductions in a system of classical propositional calculus

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