없을걸요. 저 연구 결과는 아직 학술지에 게재되지 않았어요. 린은 현재 주로 수학자들이 쓰는 증명 보조기다 보니, 린을 이용한 철학 논문을 학술지에서 찾기는 어렵죠.
제가 예전에 쓴 글 '형식 철학과 증명 보조기'에서 계산 형이상학 프로젝트를 언급했습니다. 이저벨/HOL을 이용한 이 프로젝트의 누리집에서, 학술지에 게재된 논문들을 찾으실 수 있어요. 다음은 그중 하나입니다.
근데 무슨 증명 보조기를 쓰느냐는 문제는 무슨 프로그래밍 언어를 쓰느냐는 문제와 비슷해요. 자신의 프로젝트에 알맞고, 자신이 선호하는 상호 작용 정리 증명기를 쓰면 됩니다. 린이 형식 철학 연구에 부적합하다고 보기는 어려워요. 그저 린 이용자 중에 철학자가 너무 적은 게 문제일 뿐이죠.