The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562)
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 5502953
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Method of Tree-Hypersequents for Modal Propositional Logic |
scientific article; zbMATH DE number 5502953 |
Statements
The Method of Tree-Hypersequents for Modal Propositional Logic (English)
0 references
5 February 2009
0 references
contraction-free
0 references
cut-free
0 references
hypersequents
0 references
modal logic
0 references
sequent calculus
0 references
tree-hypersequents
0 references
propositional logic
0 references
0.8542338013648987
0 references
0.8311936855316162
0 references
0.8262316584587097
0 references
0.8198687434196472
0 references
0.8146135210990906
0 references
