Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms (Q2936239)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms |
scientific article; zbMATH DE number 6383704
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms |
scientific article; zbMATH DE number 6383704 |
Statements
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms (English)
0 references
6 January 2015
0 references
sequent calculus
0 references
equality
0 references
cut elimination
0 references
0.8512451648712158
0 references
0.8351646065711975
0 references
0.8195999264717102
0 references
0.7864067554473877
0 references
0.7814919948577881
0 references
