Inference rules using local contexts (Q751642)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference rules using local contexts |
scientific article |
Statements
Inference rules using local contexts (English)
0 references
1988
0 references
inference rules
0 references
local contexts
0 references
ordered connectives
0 references
localized formulas
0 references
sequent calculi
0 references
interactive proof development systems
0 references
