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

scientific article; zbMATH DE number 2121570

From MaRDI portal

Publication:4830367

Jump to:navigation, search

zbMath1058.03015MaRDI QIDQ4830367

M. J. Cresswell

Publication date: 9 December 2004

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

zbMATH Keywords

possible worlds intuitionistic logic partial indices

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

The logic of lexical connectives ⋮ Modified numerals and split disjunction: the first-order case

This page was built for publication:

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