Conditional theories |
| |
Authors: | M. R. Donnadieu C. Rambaud |
| |
Affiliation: | (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 等数据库收录! |
|