A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP (Q6148476)
From MaRDI portal
scientific article; zbMATH DE number 7786936
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP |
scientific article; zbMATH DE number 7786936 |
Statements
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP (English)
0 references
11 January 2024
0 references
proof theory
0 references
paraconsistent logics
0 references
