A labelled sequent calculus for BBI: proof theory and proof search (Q4612426)
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: A labelled sequent calculus for BBI: proof theory and proof search |
scientific article; zbMATH DE number 7009540
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A labelled sequent calculus for BBI: proof theory and proof search |
scientific article; zbMATH DE number 7009540 |
Statements
A labelled sequent calculus for BBI: proof theory and proof search (English)
0 references
31 January 2019
0 references
labelled sequent calculus
0 references
automated reasoning
0 references
BBI
0 references
free variables
0 references
proof theory
0 references
0.9903880953788756
0 references
0.8034919500350952
0 references
0.7746240496635437
0 references
0.7740409970283508
0 references
