D 2013

Tense Operators and Dynamic De Morgan algebras

CHAJDA, Ivan a Jan PASEKA

Základní údaje

Originální název

Tense Operators and Dynamic De Morgan algebras

Autoři

CHAJDA, Ivan (203 Česká republika) a Jan PASEKA (203 Česká republika, garant, domácí)

Vydání

NEW YORK, 2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), od s. 225-230, 6 s. 2013

Nakladatel

IEEE

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)

Kód RIV

RIV/00216224:14310/13:00070832

Organizační jednotka

Přírodovědecká fakulta

ISBN

978-0-7695-4976-7

ISSN

DOI

UT WoS

000325643000039

Klíčová slova anglicky

De Morgan lattice; De Morgan poset; tense operators; dynamic De Morgan algebra

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 29. 4. 2014 17:06, Ing. Andrea Mikešková

Anotace

V originále

To every propositional logic satisfying double negation law is assigned a De Morgan poset E. Using of axioms for an universal quantifier, we set up axioms for the so-called tense operators G and H on E. The triple D = (E; G, H) is called a (partial) dynamic De Morgan algebra. We solve the following questions: first, if a time frame is given, how to construct tense operators G and H; second, if a dynamic De Morgan algebra is given, how to find a time frame such that its tense operators G and H can be reached by this construction.

Návaznosti

EE2.3.20.0051, projekt VaV
Název: Algebraické metody v kvantové logice