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

scientific article; zbMATH DE number 6769439

From MaRDI portal

Publication:5354805

Jump to:navigation, search

zbMath1379.03016MaRDI QIDQ5354805

Hidenori Kurokawa

Publication date: 4 September 2017

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

zbMATH Keywords

substructural logic nested sequents strict implication basic propositional logic proof theoretic semantics principle of reflection

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

This page was built for publication:

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