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

scientific article; zbMATH DE number 6302899

From MaRDI portal

Publication:5419875

Jump to:navigation, search

zbMath1295.03012MaRDI QIDQ5419875

Marta Bílková, Rostislav Horčík, Jiří Velebil

Publication date: 11 June 2014

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

zbMATH Keywords

coalgebras Goldblatt-Thomason theorem frame semantics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

The finite embeddability property for residuated groupoids. ⋮ Unnamed Item

This page was built for publication:

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