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
Some results concerning finite models for sentential calculi - MaRDI portal

Some results concerning finite models for sentential calculi

From MaRDI portal

Publication:2544394

Jump to:navigation, search

DOI10.1305/NDJFL/1093890623zbMath0212.01605OpenAlexW2023572987MaRDI QIDQ2544394

Dolph Ulrich

Publication date: 1972

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093890623

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (1)

Some results concerning finite model separability of propositional calculi

This page was built for publication: Some results concerning finite models for sentential calculi

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