직관주의적 유형론에서의 진리개념

The Notion of Truth in Intuitionistic Type Theory

  • 저자정인교 (고려대학교)
  • 학술지논리연구 (한국논리학회) · 무료 제공 페이지
  • 서지2013년 · 16권 · 3호 · 407–436쪽
  • DOI10.22860/kafl.2013.16.3.407
  • KCI이 논문의 KCI 쪽

키워드

  • 직관주의적 유형론
  • 직관주의적 진리개념
  • 증명의 존재
  • 마틴뢰프
  • 프라위츠

KCI에 원문이 있습니다 — 위 KCI 쪽에서 확인하십시오.

출처 — 한국학술지인용색인(KCI) OAI-PMH · 논문 페이지. 서지 사실만 담았고 원문은 담지 않는다.

갱신일 2026-09-10 · 틀린 것 알려주기

인용할 때는 이 쪽의 주소와 갱신일을 함께 적어 주십시오. 값은 시점에 따라 바뀝니다.