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

scientific article; zbMATH DE number 1354097

From MaRDI portal

Publication:4268406

Jump to:navigation, search

zbMath0926.03040MaRDI QIDQ4268406

Larisa L. Maksimova

Publication date: 28 October 1999

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

zbMATH Keywords

relevant logic superintuitionistic logic interpolation property Beth definability property modal algebra normal modal logic pseudoboolean algebra algebraic counterpart

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Related Items (2)

Epimorphisms in varieties of residuated structures ⋮ A category equivalence for odd Sugihara monoids and its applications

This page was built for publication:

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