Cuts and gluts (Q3647229)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cuts and gluts |
scientific article |
Statements
Cuts and gluts (English)
0 references
30 November 2009
0 references
cut-elimination
0 references
gluts
0 references
gaps
0 references
validity with respect to paraconsistent models
0 references
comprehension axiom
0 references
