>>679
一応JKという論理体系はあるみたいだぞ。
以下の文献の3ページ目の"The logic LP can be weakened ..." の段落に注目。

comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/ForRohit.pdf

665の意図してるものがこれかどうか知らんけどな。