Herbrand-Confluence for Cut Elimination in Classical First Order Logic (Q4649555)
From MaRDI portal
scientific article; zbMATH DE number 6109842
Language | Label | Description | Also known as |
---|---|---|---|
English | Herbrand-Confluence for Cut Elimination in Classical First Order Logic |
scientific article; zbMATH DE number 6109842 |
Statements
22 November 2012
0 references
proof theory
0 references
first-order logic
0 references
tree languages
0 references
term rewriting
0 references
semantics of proofs
0 references
Herbrand-Confluence for Cut Elimination in Classical First Order Logic (English)
0 references