PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971)
From MaRDI portal
scientific article; zbMATH DE number 7171840
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS |
scientific article; zbMATH DE number 7171840 |
Statements
PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (English)
0 references
20 February 2020
0 references
quantified argument calculus
0 references
proof theory
0 references
sequent calculus
0 references
natural deduction
0 references
