Premium
Notes on Craig interpolation for LJ with strong negation
Author(s) -
Kamide Norihiro
Publication year - 2011
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201010016
Subject(s) - negation , interpolation (computer graphics) , simple (philosophy) , mathematics , calculus (dental) , pure mathematics , discrete mathematics , computer science , artificial intelligence , philosophy , epistemology , programming language , motion (physics) , medicine , dentistry
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