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
Incomplete assertions - MaRDI portal

Incomplete assertions

From MaRDI portal

Publication:787956

Jump to:navigation, search

DOI10.1007/BF00370350zbMATH Open0531.03002OpenAlexW4234897124MaRDI QIDQ787956

Hartley Slater

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1007/bf00370350

zbMATH Keywords

free logic Fregean logic cross-reference between premises and conclusion explicit existential statements validation procedure

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Incomplete assertions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q787956)

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