No label defined (Q3153288)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1823879
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1823879 |
Statements
5 November 2002
0 references
Heyting propositional logic
0 references
sequent calculus
0 references
cut elimination
0 references
0.774504542350769
0 references
0.7732686996459961
0 references
0.7695857882499695
0 references
0.7681608200073242
0 references
0.7681608200073242
0 references
The author introduces a sequent calculus for the conjunction-implication fragment of the Heyting propositional logic with sequents containing one formula in the antecedent and one in the consequent. As a modification of Gentzen's procedure a corresponding cut elimination theorem is obtained and some categorical consequences of this result are pointed out. For the entire collection see [Zbl 0977.00051].
0 references
