Conditional theories (Q1092039)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Conditional theories |
scientific article; zbMATH DE number 4012581
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conditional theories |
scientific article; zbMATH DE number 4012581 |
Statements
Conditional theories (English)
0 references
1986
0 references
A variant of free logic with equality, called conditional logic, is introduced. The point is that every function symbol F of the formal language is supplied with a certain formula which defines the existence condition of the function corresponding to F. Furthermore, to every formula \(\psi\) a finite set of terms ``essential'' for \(\psi\) is associated. Syntax and semantics of conditional theories are developed, in some extent sufficient for proving a completeness theorem (in Henkin style).
0 references
free logic with equality
0 references
conditional logic
0 references
0 references
