KFU. Card publication. First order theories of some lattices of open sets

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

FIRST ORDER THEORIES OF SOME LATTICES OF OPEN SETS

Form of presentation

Articles in international journals and collections

Year of publication

2017

Язык

английский

Authors, employees of KFU

Selivanov Viktor Lvovich, author

Other authors

Kudinov Oleg Viktorovich, author

Bibliographic description in the original language

Kudinov, O. First order theories of some lattices of open sets [Text] / O. Kudinov, V. Selivanov// Logical Methods in Computer Science. – 2017. – V. 13, №. 3:16. - P. 1-18. https://lmcs.episciences.org/

Keywords

Open set, effectively open set, lattice, first-order theory, interpretation

The name of the journal

Logical Methods in Computer Science

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=180094&p_lang=2

Resource files

File name	Size (MB)	Format
KudinovLatOpen.pdf	0,39	pdf	show / download

Full metadata record

Field DC	Value	Language
dc.contributor.author	Selivanov Viktor Lvovich	ru_RU
dc.contributor.author	Kudinov Oleg Viktorovich	ru_RU
dc.date.accessioned	2017-01-01T00:00:00Z	ru_RU
dc.date.available	2017-01-01T00:00:00Z	ru_RU
dc.date.issued	2017	ru_RU
dc.identifier.citation	Kudinov, O. First order theories of some lattices of open sets [Text] / O. Kudinov, V. Selivanov// Logical Methods in Computer Science. – 2017. – V. 13, №. 3:16. - P. 1-18. https://lmcs.episciences.org/	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=180094&p_lang=2	ru_RU
dc.description.abstract	Logical Methods in Computer Science	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Open set	ru_RU
dc.subject	effectively open set	ru_RU
dc.subject	lattice	ru_RU
dc.subject	first-order theory	ru_RU
dc.subject	interpretation	ru_RU
dc.title	First order theories of some lattices of open sets	ru_RU
dc.type	Articles in international journals and collections	ru_RU