Deciding Predicate Logical Theories Of Real-Valued Functions

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00579461" target="_blank" >RIV/67985807:_____/23:00579461 - isvavai.cz</a>

Result on the web

<a href="https://doi.org/10.4230/LIPIcs.MFCS.2023.76" target="_blank" >https://doi.org/10.4230/LIPIcs.MFCS.2023.76</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4230/LIPIcs.MFCS.2023.76" target="_blank" >10.4230/LIPIcs.MFCS.2023.76</a>

Result language

angličtina

Original language name

Deciding Predicate Logical Theories Of Real-Valued Functions

Original language description

The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that reason about real-valued functions. This paper defines a first-order predicate language for reasoning about multi-dimensional smooth real-valued functions and their derivatives, and demonstrates that – despite the obvious undecidability barriers – certain positive decidability results for such a language are indeed possible.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

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

Project

<a href="/en/project/GA21-09458S" target="_blank" >GA21-09458S: Quasi-Decision Procedures for First-Order Theories of Real Functions</a><br>

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2023

Confidentiality

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

Article name in the collection

48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

ISBN

978-3-95977-292-1

ISSN

1868-8969

e-ISSN

—

Number of pages

15

Pages from-to

76

Publisher name

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Place of publication

Dagstuhl

Event location

Bordeaux

Event date

Aug 28, 2023

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—