Structural proof theory for first-order weak Kleene logics (Q4995622)
From MaRDI portal
scientific article; zbMATH DE number 7363455
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Structural proof theory for first-order weak Kleene logics |
scientific article; zbMATH DE number 7363455 |
Statements
Structural proof theory for first-order weak Kleene logics (English)
0 references
25 June 2021
0 references
sequent calculus
0 references
weak Kleene quantifiers
0 references
cut-elimination
0 references
completeness
0 references
structural proof theory
0 references
