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

scientific article; zbMATH DE number 1301753

From MaRDI portal

Publication:4246968

Jump to:navigation, search

zbMath0928.03009MaRDI QIDQ4246968

Christoph Kreitz, Heiko Mantel

Publication date: 3 October 1999

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

zbMATH Keywords

sequent calculus matrix characterization of logical validity matrix-based proof search procedures multiplicative fragment of linear logic with exponentials

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

A Tableau Method for the Lambek Calculus based on a Matrix Characterization

This page was built for publication:

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