Počet záznamů: 1
An algebraic study of exactness in partial contexts
- 1.
SYSNO ASEP 0478202 Druh ASEP J - Článek v odborném periodiku Zařazení RIV Záznam nebyl označen do RIV Poddruh J Článek ve WOS Název An algebraic study of exactness in partial contexts Tvůrce(i) Moraschini, Tommaso (UIVT-O) SAI, RID Celkový počet autorů 1 Zdroj.dok. International Journal of Approximate Reasoning. - : Elsevier - ISSN 0888-613X
Roč. 55, č. 1 (2014), s. 457-468Poč.str. 12 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova Partial predicates ; Abstract algebraic logic ; Algebraic logic ; DMF lattice ; Kleene lattice ; Fixed point UT WOS 000329013600007 EID SCOPUS 84889882443 DOI 10.1016/j.ijar.2013.09.010 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2018
Počet záznamů: 1