Set Representation of Partial Dynamic De Morgan algebras

CHAJDA, Ivan a Jan PASEKA. Set Representation of Partial Dynamic De Morgan algebras. In 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016). LOS ALAMITOS: IEEE COMPUTER SOC, 2016, s. 119-124. ISBN 978-1-4673-9488-8. Dostupné z: https://doi.org/10.1109/ISMVL.2016.14.

Základní údaje

Originální název

Set Representation of Partial Dynamic De Morgan algebras

Autoři

CHAJDA, Ivan a Jan PASEKA

Vydání

LOS ALAMITOS, 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), od s. 119-124, 6 s. 2016

Nakladatel

IEEE COMPUTER SOC

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

paměťový nosič (CD, DVD, flash disk)

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/16:00088577

Organizační jednotka

Přírodovědecká fakulta

ISBN

978-1-4673-9488-8

ISSN

DOI

https://doi.org/10.1109/ISMVL.2016.14

UT WoS

000386537300021

EID Scopus

2-s2.0-84981343219

Klíčová slova anglicky

De Morgan lattice; De Morgan poset; semi-tense operators; tense operators; (partial) dynamic De Morgan algebra

Štítky

AKR, rivok

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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ávaznosti

GA15-15286S, projekt VaV	Název: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti Investor: Grantová agentura ČR, Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti
GF15-34697L, projekt VaV	Název: Nové přístupy k reziduovaným posetům Investor: Grantová agentura ČR, New approaches to residuated posets, Partnerská agentura (Rakousko)

Přiložené soubory

Set_Representation_of_Partial_Dynamic_Chajda_Paseka_2016.pdf

Požádat o autorskou verzi souboru