Woliński Artur: Partial logic in a model-theoretic approach : Ehrenfeucht games with incomplete information. In: Acta scientiarum mathematicarum, (77) 1-2. pp. 3-26. (2011)
![[thumbnail of math_077_numb_001_002_003-026.pdf]](http://acta.bibl.u-szeged.hu/style/images/fileicons/part.png) |
Cikk, tanulmány, mű
math_077_numb_001_002_003-026.pdf Restricted to: SZTE network Download (1MB) |
Abstract
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.
| Item Type: | Article |
|---|---|
| Journal or Publication Title: | Acta scientiarum mathematicarum |
| Date: | 2011 |
| Volume: | 77 |
| Number: | 1-2 |
| ISSN: | 0001-6969 |
| Page Range: | pp. 3-26 |
| Language: | English |
| Publisher: | Bolyai Institute, University of Szeged |
| Place of Publication: | Szeged |
| Official URL: | http://www.acta.hu |
| Related URLs: | http://acta.bibl.u-szeged.hu/38683/ |
| Uncontrolled Keywords: | Matematika |
| Additional Information: | Bibliogr.: p. 25-26. ; összefoglalás angol nyelven |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.01. Mathematics |
| Date Deposited: | 2016. Oct. 15. 14:09 |
| Last Modified: | 2026. Mar. 09. 14:05 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/16375 |
Actions (login required)
 |
View Item |
