Sequent Calculi for Choice Logics
Crossref DOI link: https://doi.org/10.1007/s10817-024-09695-5
Published Online: 2024-04-03
Published Print: 2024-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bernreiter, Michael
Lolic, Anela
Maly, Jan
Woltran, Stefan
Funding for this research was provided by:
TU Wien
Text and Data Mining valid from 2024-04-03
Version of Record valid from 2024-04-03
Article History
Received: 23 January 2023
Accepted: 22 February 2024
First Online: 3 April 2024