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

scientific article; zbMATH DE number 7084849

From MaRDI portal

Publication:5224583

Jump to:navigation, search

zbMath1418.03111MaRDI QIDQ5224583

Stepan Kuznetsov

Publication date: 24 July 2019

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

zbMATH Keywords

relational algebra Kleene star action logic algebra of formal languages infinitary action logic *-continuity residuated Kleene lattice

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR

This page was built for publication:

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