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
Sequent calculi for choice logics - MaRDI portal

Sequent calculi for choice logics

From MaRDI portal

Publication:6552502

Jump to:navigation, search

DOI10.1007/s10817-024-09695-5MaRDI QIDQ6552502

Anela Lolic, Stefan Woltran, Jan Malý, Michael Bernreiter

Publication date: 10 June 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

sequent calculus preferences refutation systems nonmonotonic logics choice logics antisequents preferred model entailment

Mathematics Subject Classification ID

Structure of proofs (03F07)

This page was built for publication: Sequent calculi for choice logics

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