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; zbMATH DE number 1505462 - MaRDI portal

scientific article; zbMATH DE number 1505462

From MaRDI portal

Publication:4502916

Jump to:navigation, search

zbMath1040.03509MaRDI QIDQ4502916

Miodrag Rašković, Branislav R. Boričić

Publication date: 13 September 2000

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

zbMATH Keywords

probability measure extension of Heyting propositional logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Tableau for the logic ILP ⋮ Intuitionistic propositional probability logic ⋮ Logics with Probability Operators

This page was built for publication:

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