Default Rules in the Logic of First-Degree Entailments

DOI10.1007/978-3-030-31136-0_9zbMath1469.03053OpenAlexW2998080820MaRDI QIDQ3305612

Katalin Bimbó

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_9

zbMATH Keywords

monotonicityconsequence relationdefault logicentailmentrelevance logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A sieve for entailments
• A logic for default reasoning
• Non-monotonic logic. I
• Hard problems for simple default logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• Intuitive semantics for first-degree entailments and `coupled trees'
• Belief revision, conditional logic and nonmonotonic reasoning
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• A Fault-Tolerant Default Logic
• Defeasible logic programming: an argumentative approach
• A three-valued approach to default logic
• Proof Theory
• Meeting of the Association for Symbolic Logic, New York 1969
• Skepticism and floating conclusions

This page was built for publication: Default Rules in the Logic of First-Degree Entailments