Algebraic and relational models for a system based on a poset of two elements
Logic in Computer Science
2014-07-04 v1
Abstract
The aim of this paper is to present a very simple set of conditions, necessary for the management of knowledge of a poset of two agents, which are partially ordered by the capabilities available in the system. We build up a formal system and we elaborate suitable semantic models in order to derive information from the poset. The system is related to three-valued Heyting algebras with Boolean operators.
Keywords
Cite
@article{arxiv.1407.1015,
title = {Algebraic and relational models for a system based on a poset of two elements},
author = {Luisa Iturrioz},
journal= {arXiv preprint arXiv:1407.1015},
year = {2014}
}
Comments
14 pages