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
scientific article; zbMATH DE number 1354098 - MaRDI portal

scientific article; zbMATH DE number 1354098

From MaRDI portal

Publication:4268407

Jump to:navigation, search

zbMath0926.03072MaRDI QIDQ4268407

N. N. Nepejvoda

Publication date: 28 October 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theory intuitionistic logic proof graphs natural deduction calculus proof structures nilpotent logic skeletons of inference

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Complexity of computation (including implicit computational complexity) (03D15) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

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