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

scientific article; zbMATH DE number 6404009

From MaRDI portal

Publication:5173792

Jump to:navigation, search

zbMath1325.03081MaRDI QIDQ5173792

George Voutsadakis

Publication date: 16 February 2015

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

zbMATH Keywords

representability conservativeness completeness institutions abstract algebraic logic soundness closure systems combining logics fibring categories of natural transformations collapsing problem cryptofibring

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (3)

Categorical abstract algebraic logic: referential algebraic semantics ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions

This page was built for publication:

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