An algebraic study of exactness in partial contexts

0478202 - ÚI 2018 US eng J - Journal Article
Moraschini, Tommaso
An algebraic study of exactness in partial contexts.
International Journal of Approximate Reasoning. Roč. 55, č. 1 (2014), s. 457-468. ISSN 0888-613X. E-ISSN 1873-4731
Keywords : Partial predicates * Abstract algebraic logic * Algebraic logic * DMF lattice * Kleene lattice * Fixed point
Impact factor: 2.451, year: 2014

DMF's are the natural algebraic tool for modelling reasoning with Korner's partial predicates. We provide two representation theorems for DMF's which give rise to two adjunctions, the first between DMF and the category of sets and the second between DMF and the category of distributive lattices with minimum. Then we propose a logic L{1} for dealing with exactness in partial contexts, which belongs neither to the Leibniz, nor to the Frege hierarchies, and carry on its study with techniques of abstract algebraic logic. Finally a fully adequate and algebraizable Gentzen system for L{1} is given.
Permanent Link: http://hdl.handle.net/11104/0274487