A domain calculus based on Heyting-valued logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F25%3A73633498" target="_blank" >RIV/61989592:15310/25:73633498 - isvavai.cz</a>

Result on the web

<a href="https://academic.oup.com/logcom/article/35/6/exaf004/7991304" target="_blank" >https://academic.oup.com/logcom/article/35/6/exaf004/7991304</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/logcom/exaf004" target="_blank" >10.1093/logcom/exaf004</a>

Result language

angličtina

Original language name

A domain calculus based on Heyting-valued logic

Original language description

We present a domain calculus for databases that store information in the form of L-relations, where L is a complete Heyting algebra. First-order formulas serve as a query language for such databases. However, the set of formulas needs to be restricted to those that are safe to use. The main motivation is to study databases in which incomplete information is modeled by L-relations.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2025

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

JOURNAL OF LOGIC AND COMPUTATION

ISSN

0955-792X

e-ISSN

1465-363X

Volume of the periodical

35

Issue of the periodical within the volume

6

Country of publishing house

GB - UNITED KINGDOM

Number of pages

31

Pages from-to

"exaf004-1"-"exaf004-31"

UT code for WoS article

001410017000001

EID of the result in the Scopus database

2-s2.0-105012040458