Set Representation of Partial Dynamic De Morgan Algebras

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F16%3A33161577" target="_blank" >RIV/61989592:15310/16:33161577 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216224:14310/16:00088577

Výsledek na webu

<a href="http://dx.doi.org/10.1109/ISMVL.2016.14" target="_blank" >http://dx.doi.org/10.1109/ISMVL.2016.14</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ISMVL.2016.14" target="_blank" >10.1109/ISMVL.2016.14</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Set Representation of Partial Dynamic De Morgan Algebras

Popis výsledku v původním jazyce

By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our aim is to introduce the so-called tense operators in every De Morgan algebra for to get an algebraic counterpart of a tense logic with negation satisfying the double negation law which need not be Boolean. Following the standard construction of tense operators G and H by a frame we solve the following question: if a dynamic De Morgan algebra is given, how to find a frame such that its tense operators G and H can be reached by this construction.

Název v anglickém jazyce

Set Representation of Partial Dynamic De Morgan Algebras

Popis výsledku anglicky

By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our aim is to introduce the so-called tense operators in every De Morgan algebra for to get an algebraic counterpart of a tense logic with negation satisfying the double negation law which need not be Boolean. Following the standard construction of tense operators G and H by a frame we solve the following question: if a dynamic De Morgan algebra is given, how to find a frame such that its tense operators G and H can be reached by this construction.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

2016 IEEE 46th International Symposium on Multiple-Valued Logic ISMVL 2016

ISBN

978-1-4673-9488-8

ISSN

0195-623X

e-ISSN

—

Počet stran výsledku

6

Strana od-do

119-124

Název nakladatele

IEEE Computer Society Press

Místo vydání

New York

Místo konání akce

Sapporo

Datum konání akce

18. 5. 2016

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000386537300021