The Poset-based Logics for the De Morgan Negation and 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%2F00216224%3A14310%2F18%3A00101799" target="_blank" >RIV/00216224:14310/18:00101799 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989592:15310/18:73591719

Výsledek na webu

<a href="https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-31-number-3-2018/mvlsc-31-3-p-213-237/" target="_blank" >https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-31-number-3-2018/mvlsc-31-3-p-213-237/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The Poset-based Logics for the De Morgan Negation and 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. Finally, using the apparatus obtained during the solution of the above question, we prove the finite model property and decidability of the tense poset-based logic for the De Morgan negation.

Název v anglickém jazyce

The Poset-based Logics for the De Morgan Negation and 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. Finally, using the apparatus obtained during the solution of the above question, we prove the finite model property and decidability of the tense poset-based logic for the De Morgan negation.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10200 - Computer and information sciences

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í

2018

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 periodika

JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING

ISSN

1542-3980

e-ISSN

1542-3999

Svazek periodika

31

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

25

Strana od-do

213-237

Kód UT WoS článku

000455886300002

EID výsledku v databázi Scopus

2-s2.0-85055649891