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; zbMATH DE number 1354010 - MaRDI portal

scientific article; zbMATH DE number 1354010

From MaRDI portal

Publication:4268319

Jump to:navigation, search

zbMath0924.03112MaRDI QIDQ4268319

D. E. Tishkovskij

Publication date: 28 October 1999

Full work available at URL: https://eudml.org/doc/187879

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

zbMATH Keywords

substitution rule strong completeness algebraization superintuitionistic predicate logic quasi-cylindrical algebra superintuitionistic deductive system universal algebraic semantics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items (1)

On Algebraisation of Superintuitionistic Predicate Logics

This page was built for publication:

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