Canonical calculi with (n,k)-ary quantifiers (Q3535607)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Canonical calculi with (n,k)-ary quantifiers |
scientific article |
Statements
Canonical calculi with (n,k)-ary quantifiers (English)
0 references
13 November 2008
0 references
cut elimination
0 references
matrix semantics
0 references
canonical Gentzen-type systems
0 references
coherence
0 references
