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 6423726 - MaRDI portal

scientific article; zbMATH DE number 6423726

From MaRDI portal

Publication:4982331

Jump to:navigation, search

zbMath1321.03046MaRDI QIDQ4982331

Piotr Kulicki

Publication date: 9 April 2015

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

zbMATH Keywords

Horn theories cardinality of models axiomatic rejection calculus of names Leśniewski's ontology

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Connecting actions and states in deontic logic ⋮ Pure modal logic of names and tableau systems

This page was built for publication:

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