Two-sided Sequent Calculi for FDE-like Four-valued Logics
Crossref DOI link: https://doi.org/10.1007/s10992-022-09678-0
Published Online: 2022-08-25
Published Print: 2023-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kooi, Barteld
Tamminga, Allard
Text and Data Mining valid from 2022-08-25
Version of Record valid from 2022-08-25
Article History
Received: 6 November 2020
Accepted: 19 July 2022
First Online: 25 August 2022