+++
title = "Second possible solution: Craig interpolation"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g5h1", "3a8g5h"]
forwardlinks = ["4e1", "3a8g5h3"]
zettelid = "3a8g5h2"
+++

The second possible solution could be to use Craig interpolation
([\#4e1]), which was a suggestion by John. This is close to what we
currently already do, however a bit more sound (replacing positive
literals by T and replacing negative literals by $\perp$). This does not
seem to completely solve the problem, because it only really works for
implication, and for the independence property that's not enough.

  [\#4e1]: /zettel/4e1