A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur (Q2326724)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur |
scientific article |
Statements
A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur (English)
0 references
10 October 2019
0 references
