Cut-elimination and proof search for bi-intuitionistic tense logic (Q2904053)
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 and proof search for bi-intuitionistic tense logic
scientific article; zbMATH DE number 6063263
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cut-elimination and proof search for bi-intuitionistic tense logic |
scientific article; zbMATH DE number 6063263 |
Statements
5 August 2012
0 references
bi-intuitionistic logic
0 references
intuitionistic tense logic
0 references
intuitionistic modal logic
0 references
cut elimination
0 references
deep inference
0 references
Cut-elimination and proof search for bi-intuitionistic tense logic (English)
0 references
0.8553987145423889
0 references
0.8463196158409119
0 references
0.8434731364250183
0 references
0.8434041738510132
0 references
0.8309296369552612
0 references
