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

scientific article; zbMATH DE number 937368

From MaRDI portal

Publication:4896508

Jump to:navigation, search

zbMath0865.03053MaRDI QIDQ4896508

Lex Hendriks, Dick H. J. de Jongh

Publication date: 1 July 1997

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

zbMATH Keywords

Peano Arithmetic provability logic diagonalizable algebra exact formulas finitely generated algebra arithmetical interpretation interpretable theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (1)

Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic

This page was built for publication:

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