The fixed point and the Craig interpolation properties for sublogics of $$\textbfIL}$$ IL

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource, 1 online resource.
Language
Englisch

Bibliographic citation
The fixed point and the Craig interpolation properties for sublogics of $$\textbfIL}$$ IL ; day:10 ; month:6 ; year:2023 ; pages:1-37
Archive for mathematical logic ; (10.6.2023), 1-37

Creator
Iwata, Sohei
Kurahashi, Taishi
Okawa, Yuya
Contributor
SpringerLink (Online service)

DOI
10.1007/s00153-023-00882-6
URN
urn:nbn:de:101:1-2023091910193707677109
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:55 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Iwata, Sohei
  • Kurahashi, Taishi
  • Okawa, Yuya
  • SpringerLink (Online service)

Other Objects (12)

Abstraction refinement with craig interpolation and symbolic pushdown systems

Abstraction refinement with craig interpolation and symbolic pushdown systems

Craig interpolation theorem fails in bi-intuitionistic predicate logic

Craig interpolation theorem fails in bi-intuitionistic predicate logic

Stein interpolation for the real interpolation method

Stein interpolation for the real interpolation method

Rezension: Gordon A. Craig: The Germans

Review | Rezension

Rezension: Gordon A. Craig: The Germans

Craig, Malin

Akten

Craig, Malin

Gordon Craig

Fotografie

Gordon Craig

Collier. Craig

Illustration

Collier. Craig

Craig, Peter

Akten

Craig, Peter

Craig, Stephen

Archivale

Craig, Stephen

Daniel Craig

Biografie | Biographie

Daniel Craig

Ailsa Craig.

Illustration

Ailsa Craig.

Gordon Craig

Fotografie

Gordon Craig

Related objects