diff options
Diffstat (limited to 'content/zettel/3a8g5h2.md')
| -rw-r--r-- | content/zettel/3a8g5h2.md | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/content/zettel/3a8g5h2.md b/content/zettel/3a8g5h2.md new file mode 100644 index 0000000..b8facdd --- /dev/null +++ b/content/zettel/3a8g5h2.md @@ -0,0 +1,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 |