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
JANKOV-STYLE FORMULAS AND REFUTATION SYSTEMS - MaRDI portal

JANKOV-STYLE FORMULAS AND REFUTATION SYSTEMS

From MaRDI portal

Publication:5412441

Jump to:navigation, search

DOI10.4467/20842589RM.13.003.1255zbMath1322.03022OpenAlexW65440478MaRDI QIDQ5412441

Alex Citkin

Publication date: 25 April 2014

Full work available at URL: https://doi.org/10.4467/20842589rm.13.003.1255

zbMATH Keywords

Hilbert algebra Jankov formula tabular logic regular algebra refutation system

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Model theory of finite structures (03C13) Intermediate logics (03B55)

Related Items

Jankov Formulas and Axiomatization Techniques for Intermediate Logics

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