Interpolation, Amalgamation, and Computation
Project goals
Interpolation is a fundamental metalogical property of broad importance to several fields, including software/hardware verification, databases, mathematics, and philosophy. This project aims to bridge the gap between the two dominant paradigms in the study of interpolation: the proof-theoretic approach and the algebraic approach. By reconciling these methodologies, the project will develop a systematic account of interpolation in varied environments, and, in particular, will produce a flexible and powerful toolkit for investigating interpolation in different logical contexts. Our investigation places a special emphasis on finding broadly applicable techniques for understanding computational aspects of interpolation, such as the decidability of various questions relating to interpolation and complexity of the associated algorithms.
Keywords
interpolationamalgamationalgebraic logicproof theorysubstructural logicdecidability
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
SGA0202500003
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
25-18306M
Alternative language
Project name in Czech
Interpolace, amalgamace a výpočty
Annotation in Czech
Interpolace je základní metalogická vlastnost širokého významu pro několik oborů, včetně ověřování softwaru/hardwaru, databází, matematiky a filozofie. Tento projekt si klade za cíl překlenout propast mezi dvěma dominantními paradigmaty ve studiu interpolace: teoretickým důkazem a algebraickým přístupem. Sloučením těchto metodologií projekt vyvine systematický popis interpolace v různých prostředích a zejména vytvoří flexibilní a výkonnou sadu nástrojů pro zkoumání interpolace v různých logických kontextech. Náš výzkum klade zvláštní důraz na nalezení široce použitelných technik pro pochopení výpočetních aspektů interpolace, jako je rozhoditelnost různých otázek souvisejících s interpolací a složitost souvisejících algoritmů.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - another secondary branch
—
AF - Documentation, librarianship, work with information
BA - General mathematics
BC - Theory and management systems
BD - Information theory
IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2025
Realization period - end
Dec 31, 2029
Project status
Z - Beginning multi-year project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP25-GA0-GM-R
Data delivery date
Feb 26, 2025
Finance
Total approved costs
22,483 thou. CZK
Public financial support
22,483 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
22 483 CZK thou.
Public support
22 483 CZK thou.
0%
Provider
Czech Science Foundation
OECD FORD
Pure mathematics
Solution period
01. 01. 2025 - 31. 12. 2029