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

Jump to:navigation, search

zbMath0417.03010MaRDI QIDQ3206929

Valentin Shehtman

Publication date: 1978

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

zbMATH Keywords

Kripke models semi-Thue systems degree of undecidability finitely axiomatizable superintuitionistic propositional calculus

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Thue and Post systems, etc. (03D03) Intermediate logics (03B55)

Related Items

Equations in free topoboolean algebra, No non-trivial quasivariety of BCK-algebras has decidable first order theory, The disjunction property of intermediate propositional logics, Modal companions of intermediate propositional logics, Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi

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