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

scientific article

From MaRDI portal

Publication:3116041

Jump to:navigation, search

zbMath1232.03006MaRDI QIDQ3116041

Mauricio Castillo, Arnold Oostra

Publication date: 21 February 2012

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

zbMATH Keywords

propositional logic algebraic semantics deductive system Hilbert algebra semi-lattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05) Semilattices (06A12) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

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