Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839)
From MaRDI portal
scientific article; zbMATH DE number 7382674
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free Definite Description Theory – Sequent Calculi and Cut Elimination |
scientific article; zbMATH DE number 7382674 |
Statements
Free Definite Description Theory – Sequent Calculi and Cut Elimination (English)
0 references
17 August 2021
0 references
sequent calculus
0 references
definite descriptions
0 references
free logic
0 references
definedness logic
0 references
partial terms
0 references
cut elimination
0 references
0 references
0 references
0 references
