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

scientific article; zbMATH DE number 1163926

From MaRDI portal

Publication:4395550

Jump to:navigation, search

zbMath0906.03019MaRDI QIDQ4395550

Vladimir Mikhailovich Popov

Publication date: 11 January 1999

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

zbMATH Keywords

R sequent calculus relevant logic cut-elimination relevance logic paraconsistent logic Gentzen system relevant implication consecution calculus d-expression

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

Image of Soviet and Russian logic in the West. Latter Half of the XXth Century

This page was built for publication:

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