Towards tractable approximations to many-valued logics: the case of first degree entailment

MaRDI QIDQ6641531zbMATH OpenFDO

Authors Marcello D'Agostino, Alejandro Solares-Rojas

Publication date 20 November 2024

zbMATH Keywords

natural deductiontableauxtractability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

This page was built for publication: Towards tractable approximations to many-valued logics: the case of first degree entailment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6641531)