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:3520846

Jump to:navigation, search

zbMath1143.03324MaRDI QIDQ3520846

David Makinson

Publication date: 26 August 2008

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

zbMATH Keywords

interpolation compactness sympathy consequence friendliness

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Related Items (3)

Propositional relevance through letter-sharing ⋮ On nonmonotonic consequence relations ⋮ Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

This page was built for publication:

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