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 2024625 - MaRDI portal

scientific article; zbMATH DE number 2024625

From MaRDI portal

Publication:4443201

Jump to:navigation, search

zbMath1037.03055MaRDI QIDQ4443201

Eugeniusz Tomaszewski

Publication date: 2002

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

zbMATH Keywords

algorithm varieties of Heyting algebras finite axiomatizations Yankov formulas

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Intermediate logics (03B55)

Related Items (1)

Yankov Characteristic Formulas (An Algebraic Account)

This page was built for publication:

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