blob: b8facddfb2284223cfea87f3c9e14bcabf4916f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
+++
title = "Second possible solution: Craig interpolation"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g5h1"]
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
|
