Operators of Knowledge and Ignorance in Heyting Algebras
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F25%3A00144158" target="_blank" >RIV/00216224:14310/25:00144158 - isvavai.cz</a>
Alternative codes found
RIV/61989592:15310/25:73633247
Result on the web
<a href="https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-45-number-1-3-2025/mvlsc-45-1-3-p-5-30/" target="_blank" >https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-45-number-1-3-2025/mvlsc-45-1-3-p-5-30/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Operators of Knowledge and Ignorance in Heyting Algebras
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
<a href="/en/project/FW03010296" target="_blank" >FW03010296: Practical use of big data for an intelligent production flow decision system</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of Multiple-Valued Logic and Soft Computing
ISSN
1542-3980
e-ISSN
1542-3999
Volume of the periodical
45
Issue of the periodical within the volume
1-3
Country of publishing house
US - UNITED STATES
Number of pages
26
Pages from-to
5-30
UT code for WoS article
001598190200003
EID of the result in the Scopus database
2-s2.0-105017954929