Craig interpolation theorem fails in bi-intuitionistic predicate logic

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: The review of symbolic logic, S. 1-23

Event
Veröffentlichung
(where)
Bochum
(who)
Ruhr-Universität Bochum
(when)
2022
Creator
Olkhovikov, Grigory
Badia, Guillermo

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

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

Time of origin

  • 2022

Other Objects (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

Related objects