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

Jump to:navigation, search

zbMath0545.03035MaRDI QIDQ3335778

G. N. Georgacarakos

Publication date: 1982

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

zbMATH Keywords

completeness theorem Kripke models Kripke semantics intuitionistic logic Minimal logic minimal propositional logic

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Categoricity and completeness of theories (03C35)

Related Items (1)

A syntactical study of the subminimal logic with Nelson negation

This page was built for publication:

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