The Craig-Lyndon interpolation theorem in 3-valued logic
Keyword(s):
The purpose of this paper is to provide a formal system which is (a) adequate (functionally complete), (b) consistent, and (c) complete, relative to 3-valued logic with one designated value, and for which, furthermore, (d) a simple normal form theorem, and (e) the Craig-Lyndon Interpolation Theorem [1], [2] holds.
Keyword(s):
1977 ◽
Vol 67
(2)
◽
pp. 215-215
◽
Keyword(s):
Keyword(s):
2019 ◽
Vol 375
(3)
◽
pp. 2089-2153
◽
Keyword(s):
2018 ◽
Vol 12
(3)
◽
pp. 363-424
Keyword(s):
2007 ◽
Vol 17
(05n06)
◽
pp. 951-961
◽