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
Proof and canonical proof - MaRDI portal

Proof and canonical proof

From MaRDI portal

Publication:1297027

Jump to:navigation, search

DOI10.1023/A:1005067014400zbMath0929.03013OpenAlexW102677591MaRDI QIDQ1297027

Bernhard Weiss

Publication date: 11 January 2000

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005067014400

zbMATH Keywords

truth anti-realism theory of meaning canonical proof normalized natural deduction proof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication: Proof and canonical proof

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