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

scientific article; zbMATH DE number 857449

From MaRDI portal

Publication:4870286

Jump to:navigation, search

zbMath0840.03012MaRDI QIDQ4870286

Andrei Gheorghe Rusu, M. F. Ratsa

Publication date: 10 April 1996

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

zbMATH Keywords

provability logic diagonalizable algebra infinite binary sequences

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

This page was built for publication:

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