Tableaux for free logics with descriptions
The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Language: | English |
| Published: |
Springer
2021
|