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

scientific article

From MaRDI portal

Publication:2939750

Jump to:navigation, search

zbMath1320.03024MaRDI QIDQ2939750

Peter Schroeder-Heister

Publication date: 22 January 2015

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

zbMATH Keywords

structural rules

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07)

Related Items (3)

Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Plugging-in proof development environments usingLocksinLF

This page was built for publication:

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