한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

통합검색2429건

검색 결과 제목

  1. 176컷을 직접 지우지 않고도, 컷 없는 증명이 있다고 보일 수 있을까요?
  2. 177앞 문장의 ‘한 사람’을, 다음 문장의 ‘그’는 어떻게 기억할까요?
  3. 17820분 회의에서 근거·반론·결정 시간을 어떻게 나눌까?
  4. 1797일 뒤 60%와 30일 뒤 60%, ‘유지율이 같다’고 써도 될까?
  5. 180‘왜 그렇게 정했나요?’는 확인 질문일까, 반론 질문일까?
논문 대담Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)Journal of the Mathematical Society of Japan, 19(4), 399–410
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

컷을 직접 지우지 않고도, 컷 없는 증명이 있다고 보일 수 있을까요?

다카하시 모토오의 《A proof of cut-elimination theorem in simple type-theory》(1967)를 따라, V-complex와 V-correspondence에서 람다 추상, 건전성과 반모형을 통한 비구성적 컷 제거 증명까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)

게시 2026-10-05해외 논리학 연구 해설 읽기 →
논문 대담Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)Linguistics and Philosophy, 14(1), 39–100
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

앞 문장의 ‘한 사람’을, 다음 문장의 ‘그’는 어떻게 기억할까요?

흐룬데이크와 스토크호프의 「Dynamic Predicate Logic」(1991)을 따라, 문장의 뜻을 정보 상태 사이의 변화로 읽고 존재양화와 연언이 대명사의 선행 대상을 어떻게 전달하는지 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)

게시 2026-10-05해외 논리학 연구 해설 읽기 →

176–180 / 2429편