Partial logic in a model-theoretic approach Ehrenfeucht games with incomplete information /
This is a continuation of the investigation on the partial elementary logic system introduced in [Wo 97] to provide a basis for the construction of cylindric algebras describing properties of partial relations. We show the relationship between partial logic and classic elementary logic. We prove tha...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
Bolyai Institute, University of Szeged
Szeged
2011
|
| Sorozat: | Acta scientiarum mathematicarum
77 No. 1-2 |
| Kulcsszavak: | Matematika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/16375 |
| Tartalmi kivonat: | This is a continuation of the investigation on the partial elementary logic system introduced in [Wo 97] to provide a basis for the construction of cylindric algebras describing properties of partial relations. We show the relationship between partial logic and classic elementary logic. We prove that classic logic is, in some general model-theoretic sense, interpretable in partial logic, but not vice versa. Moreover, we present — via a theorem on the correspondence of models — some close connections between models of partial and classic logics as well as between their theories. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 3-26 |
| ISSN: | 0001-6969 |