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
Completeness of intuitionistic predicate calculus with the concept of bar - MaRDI portal

Completeness of intuitionistic predicate calculus with the concept of bar

From MaRDI portal

Publication:1062671

Jump to:navigation, search

zbMath0573.03006MaRDI QIDQ1062671

Aleksandr D. Yashin

Publication date: 1984

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Kripke tree models sequential variant of intuitionistic predicate calculus

Mathematics Subject Classification ID

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

This page was built for publication: Completeness of intuitionistic predicate calculus with the concept of bar

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