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:3924162

Jump to:navigation, search

zbMath0471.03012MaRDI QIDQ3924162

Gerard R. Renardel de Lavalette

Publication date: 1981

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

zbMATH Keywords

Heyting algebras Kripke models propositional quantification intuitionistic propositional logic monadic operators intuitionistic predicate calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (2)

Computations in fragments of intuitionistic propositional logic ⋮ Interpolation and amalgamation properties in varieties of equivalential algebras

This page was built for publication:

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