Non-commutative classical arithmetical sequent calculi are intuitionistic (Q4644548)
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: Non-commutative classical arithmetical sequent calculi are intuitionistic |
scientific article; zbMATH DE number 6997960
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-commutative classical arithmetical sequent calculi are intuitionistic |
scientific article; zbMATH DE number 6997960 |
Statements
Non-commutative classical arithmetical sequent calculi are intuitionistic (English)
0 references
8 January 2019
0 references
proof theory
0 references
intuitionistic sequent calculus
0 references
exchange rules
0 references
Heyting arithmetic
0 references
0.89965284
0 references
0.88482016
0 references
0.87734884
0 references
0.87553823
0 references
0.87284887
0 references
0.8717313
0 references
0.87166536
0 references
0.8705476
0 references
0.8676237
0 references
0.86698824
0 references
