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
Propositional union closed team logics - MaRDI portal

Propositional union closed team logics

From MaRDI portal

Publication:6347610

Jump to:navigation, search

DOI10.1016/J.APAL.2022.103102arXiv2008.10324MaRDI QIDQ6347610

Unnamed Author

Publication date: 24 August 2020

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Propositional union closed team logics

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