First-order quasi-canonical proof systems (Q2180509)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | First-order quasi-canonical proof systems |
scientific article |
Statements
First-order quasi-canonical proof systems (English)
0 references
14 May 2020
0 references
Gentzen-type proof systems
0 references
cut elimination
0 references
coherence
0 references
nondeterministic matrices
0 references
existential information processing
0 references
knowledge bases
0 references