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

scientific article; zbMATH DE number 6863879

From MaRDI portal

Publication:4636313

Jump to:navigation, search

zbMath1385.03030MaRDI QIDQ4636313

Tomoyuki Suzuki

Publication date: 23 April 2018

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

zbMATH Keywords

relational semantics substructural logic amalgamation property lattice expansions topological characterization Goldblatt-Thomason's theorem lattice-based logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators

This page was built for publication:

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