Notes on Craig interpolation for LJ with strong negation |
| |
| Authors: | Norihiro Kamide |
| |
| Institution: | Waseda Institute for Advanced Study, Waseda University, 1‐6‐1 Nishi Waseda, Shinjuku‐ku, Tokyo 169‐8050, Japan |
| |
| Abstract: | The Craig interpolation theorem is shown for an extended LJ with strong negation. A new simple proof of this theorem is obtained. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim |
| |
| Keywords: | Craig interpolation theorem Nelson's logic sequent calculus strong negation MSC (2010) 03B50 03B53 |
|
|
