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

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource, 1 online resource.
Sprache
Englisch

Erschienen in
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

Urheber
Iwata, Sohei
Kurahashi, Taishi
Okawa, Yuya
Beteiligte Personen und Organisationen
SpringerLink (Online service)

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

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

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

Ähnliche Objekte (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

Verbundene Objekte