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 5239380 - MaRDI portal

scientific article; zbMATH DE number 5239380

From MaRDI portal

Publication:5442676

Jump to:navigation, search

zbMath1132.03311MaRDI QIDQ5442676

Tomás Barrero, Walter Alexandre Carnielli

Publication date: 22 February 2008

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

zbMATH Keywords

paradoxes decision procedure positive logic implicative triviality paratriviality positive tableaux tableau calculus without refutation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (1)

A pragmatic dissolution of Curry's paradox

This page was built for publication:

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