A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
From MaRDI portal
Publication:6309863
DOI10.1007/S11225-018-9839-ZzbMath1531.03094arXiv1811.06883WikidataQ128900159 ScholiaQ128900159MaRDI QIDQ6309863
Publication date: 16 November 2018
Other nonclassical logic (03B60) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)
This page was built for publication: A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences