J 2025

Operators of Knowledge and Ignorance in Heyting Algebras

CHAJDA, Ivan a Jan PASEKA

Základní údaje

Originální název

Operators of Knowledge and Ignorance in Heyting Algebras

Autoři

CHAJDA, Ivan a Jan PASEKA

Vydání

Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing Inc, 2025, 1542-3980

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

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

Odkazy

Impakt faktor

Impact factor: 0.700 v roce 2024

Označené pro přenos do RIV

Ano

Organizační jednotka

Přírodovědecká fakulta

UT WoS

EID Scopus

Klíčová slova anglicky

Heyting algebra; modal operator; operator of knowledge; operator of ignorance

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 18. 11. 2025 16:21, Mgr. Marie Novosadová Šípková, DiS.

Anotace

V originále

The operator of knowledge was introduced and explored in various logical systems by numerous researchers. Nevertheless, its formalization on Heyting algebras, which serve as the algebraic representation of intuitionistic logic, remained unexplored. Motivated by this gap, this study delves into the formalization of knowledge on Heyting algebras. In addition, it adapts the formula for the severe ignorance operator, presented by Bonzio, Fano, Graziani, and Pra Baldi, to the context of Heyting algebras. We comprehensively explore the properties of both the knowledge and severe ignorance operators and examine their interplay. The paper provides illuminating examples to showcase the behavior and characteristics of these operators.

Návaznosti

FW03010296, projekt VaV
Název: Praktické využití velkých dat pro inteligentní rozhodovací systém výrobního toku
Investor: Technologická agentura ČR, Praktické využití velkých dat pro inteligentní rozhodovací systém výrobního toku, Podprogram 1 "Technologičtí lídři"