An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions (Q5955617)
From MaRDI portal
scientific article; zbMATH DE number 1705607
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions |
scientific article; zbMATH DE number 1705607 |
Statements
An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions (English)
0 references
22 July 2002
0 references
definite descriptions
0 references
logic of partial terms
0 references
negative free logic
0 references
tableaux system
0 references
extended joint consistency theorem
0 references
interpolation lemma
0 references
