|
|||||
|
|
Conditional theories |
|
| Authors: | M R Donnadieu C Rambaud |
| Institution: | (1) Departement de Mathematiques et Informatique, Faculte des Sciences de Luminy, 13288 Marseille Cedex 9 |
| Abstract: | This paper introduces conditional logic, that is, a variant of free logic where the existence condition of a function is defined by a formula of the formal language. Syntax and semantics are developed. A completeness theorem is given. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |