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

Jump to:navigation, search

zbMATH Open0645.03009MaRDI QIDQ3787975

Michael Zakharyaschev

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

axiomatization intermediate logics normal modal logics canonical formulas countermodels

Mathematics Subject Classification ID

Could not fetch data.

Related Items (3)

Title not available (Why is that?) ⋮ A formal theory of generalized intermediate syllogisms ⋮ Proof analysis in intermediate logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787975)

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