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

scientific article; zbMATH DE number 1354095

From MaRDI portal

Publication:4268404

Jump to:navigation, search

zbMath0926.03031MaRDI QIDQ4268404

Publication date: 28 October 1999

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

zbMATH Keywords

set theory provability intuitionistic logic soundness and completeness intermediate logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Set theory (03E99) Intermediate logics (03B55)

Related Items (2)

Free and projective bimodal symmetric Gödel algebras ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia

This page was built for publication:

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