Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of <i>rational conclusions</i>, which are characterised by the feature that the inference process may require to retra...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-07-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/9/3/84 |