Modulo reasoning. I: Logic of undeducibility

DOI10.21146/2074-1472-2024-30-1-11-26MaRDI QIDQ6581941zbMATH OpenFDO

Authors Dmitriĭ Vladimirovich Zaĭtsev

Publication date 1 August 2024

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2024-30-1-11-26

zbMATH Keywords

formal argumentationnon-monotonicitymodulo reasoningundeducibility

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• A logical expression of reasoning
• scientific article; zbMATH DE number 989172
• A modal logic of defeasible reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• scientific article; zbMATH DE number 408801

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Assumptive sequent-based argumentation
• Bridges between Classical and Nonmonotonic Logic
• First-degree entailment and its relatives
• Nonmonotonic inference based on expectations

This page was built for publication: Modulo reasoning. I: Logic of undeducibility

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