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

Jump to:navigation, search

zbMath0537.03014MaRDI QIDQ3322077

Jan Zygmunt

Publication date: 1983

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

zbMATH Keywords

survey sentential calculi consequence relations decision procedures finite matrices Lindenbaum method

Mathematics Subject Classification ID

Algebraic logic (03G99) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Many-valued computational logics ⋮ Resolution approximation of first-order logics

This page was built for publication:

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