Találati lista | Tudóstér

001-es BibID:	BIBFORM070078
Első szerző:	Kádek Tamás (programtervező matematikus)
Cím:	Some fundamental laws of partial first-order logic based on set approximations / Tamás Kádek, Tamás Mihálydeák
Dátum:	2014
ISSN:	0302-9743
Megjegyzések:	The authors show that a very general framework of set approximation can be the set-theoretical base of semantics of a partial first-order logic. The most general problem is what happens if in the semantics of first-order logic one uses the approximations of sets as semantic values of predicate parameters instead of sets given by their total interpretation in order to determine the truth values of formulas? The authors show some unexpected properties connected with logical constants directly. The goal of the investigation is to show the possible connections between the result of different approximative and exact evaluation of formulas - or the lack of them. At the end, the authors present the practical example, in which we can see the discussed behavior of approximation.
ISBN:	978-3-319-08643-9 978-3-319-08644-6
Tárgyszavak:	Műszaki tudományok Informatikai tudományok tanulmány, értekezés approximation of sets rough set partial logic partial semantics
Megjelenés:	Rough Sets and Current Trends in Soft Computing : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings / eds. Cornelis, C., Kryszkiewicz, M., Slezak, D., Menasalvas Ruiz, E., Bello, R., Shang, L. - p. 47-58. -
További szerzők:	Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus)
Pályázati támogatás:	TÁMOP-4.2.2.C-11/1/KONV-2012-0001 TÁMOP
Internet cím:	DOI Szerző által megadott URL Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: