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
Partial monotonic protothetics - MaRDI portal

Partial monotonic protothetics

From MaRDI portal

Publication:1840652

Jump to:navigation, search

DOI10.1023/A:1026705214659zbMath0972.03010MaRDI QIDQ1840652

François Lepage

Publication date: 9 November 2001

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completeness protothetics saturated sets partial interpretation propositional types

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (1)

Probabilistic canonical models for partial logics

This page was built for publication: Partial monotonic protothetics

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