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
Duals of intuitionistic tableaus - MaRDI portal

Duals of intuitionistic tableaus

From MaRDI portal

Publication:1132098

Jump to:navigation, search

zbMath0419.03038MaRDI QIDQ1132098

Giovanni Criscuolo, Roberto Tortora

Publication date: 1978

Published in: Ricerche di Matematica (Search for Journal in Brave)

zbMATH Keywords

completeness with respect to Kripke models dual version of the Beth intuitionistic tableaus with signed formulas

Mathematics Subject Classification ID

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

This page was built for publication: Duals of intuitionistic tableaus

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