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
Continuality of the family of complete Novikov logics with new monadic connective - MaRDI portal

Continuality of the family of complete Novikov logics with new monadic connective

From MaRDI portal

Publication:1280369

Jump to:navigation, search

zbMath0910.03006MaRDI QIDQ1280369

Aleksandr D. Yashin

Publication date: 15 March 1999

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logic Novikov complete additional monadic connective

Mathematics Subject Classification ID

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

This page was built for publication: Continuality of the family of complete Novikov logics with new monadic connective

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