Craig interpolation theorem fails in bi-intuitionistic predicate logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: The review of symbolic logic, S. 1-23

Ereignis
Veröffentlichung
(wo)
Bochum
(wer)
Ruhr-Universität Bochum
(wann)
2022
Urheber
Olkhovikov, Grigory
Badia, Guillermo

URN
urn:nbn:de:hbz:294-106716
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:26 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

  • Olkhovikov, Grigory
  • Badia, Guillermo
  • Ruhr-Universität Bochum

Entstanden

  • 2022

Ähnliche Objekte (12)

On weak completeness of intuitionistic predicate logic

Akten

On weak completeness of intuitionistic predicate logic

Abstraction refinement with craig interpolation and symbolic pushdown systems

Abstraction refinement with craig interpolation and symbolic pushdown systems

Predicate complements

Predicate complements

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

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

Propositional and Predicate Logic

zweidimensionales bewegtes Bild

Propositional and Predicate Logic

Towards predicate driven grammar

Hochschulschrift

Towards predicate driven grammar

Towards Practical Predicate Analysis

Hochschulschrift

Towards Practical Predicate Analysis

Intuitionistic Mathematics. Lectures

Akten

Intuitionistic Mathematics. Lectures

Intuitionistic Modal Algebras

Intuitionistic Modal Algebras

Craig, Malin

Akten

Craig, Malin

Gordon Craig

Fotografie

Gordon Craig

Collier. Craig

Illustration

Collier. Craig

Verbundene Objekte