Interpolation in Linear Logic and Related Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F24%3A00602742" target="_blank" >RIV/67985807:_____/24:00602742 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1145/3680284" target="_blank" >https://doi.org/10.1145/3680284</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/3680284" target="_blank" >10.1145/3680284</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Interpolation in Linear Logic and Related Systems

Popis výsledku v původním jazyce

We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well as their multiplicative-additive fragments. None of the logics we exhibit have the Craig interpolation property, but we show that the exhibited extensions of classical and intuitionistic linear logic all enjoy a guarded form of Craig interpolation. We also give continuum-many axiomatic extensions of classical linear logic without the deductive interpolation property.

Název v anglickém jazyce

Interpolation in Linear Logic and Related Systems

Popis výsledku anglicky

We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well as their multiplicative-additive fragments. None of the logics we exhibit have the Craig interpolation property, but we show that the exhibited extensions of classical and intuitionistic linear logic all enjoy a guarded form of Craig interpolation. We also give continuum-many axiomatic extensions of classical linear logic without the deductive interpolation property.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

Kód důvěrnosti údajů

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

Název periodika

ACM Transactions on Computational Logic

ISSN

1529-3785

e-ISSN

1557-945X

Svazek periodika

25

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

19

Strana od-do

20

Kód UT WoS článku

001360226600006

EID výsledku v databázi Scopus

2-s2.0-85202282090