Partial logic in a model-theoretic approach : Ehrenfeucht games with incomplete information

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)

Cikk, tanulmány, mű math_077_numb_001_002_003-026.pdf Hozzáférés: Csak SZTE egyetemi hálózatról Letöltés (1MB)

Absztrakt (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.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta scientiarum mathematicarum
Dátum:	2011
Kötet:	77
Szám:	1-2
ISSN:	0001-6969
Oldalak:	pp. 3-26
Nyelv:	angol
Kiadó:	Bolyai Institute, University of Szeged
Kiadás helye:	Szeged
Hivatalos webcím (URL):	http://www.acta.hu
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38683/
Kulcsszavak:	Matematika
Megjegyzések:	Bibliogr.: p. 25-26. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.01. Matematika
Feltöltés dátuma:	2016. okt. 15. 14:09
Utolsó módosítás:	2026. már. 09. 14:05
URI:	http://acta.bibl.u-szeged.hu/id/eprint/16375

Bővebben:

Tétel nézet