주제별 자료 · 연구와 학습

논리의 기초와 역사

기초 개념부터 기존 역사 연재까지 한곳에서

학술 연구 78편 · 기초 개념 52편 · 역사 연재 57편을 구분해 찾아보세요.

해외 학술 연구의 7개 분야

읽기 난이도자료 유형조건 초기화

논리의 기초와 역사187편

표시정렬

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

같은 기록 없음이 열린 세계에서는 미정, 닫힌 세계에서는 거짓이 되는 과정을 직접 바꾸며 자료 완전성 가정을 점검합니다.

On Closed World Data Bases

논문 대담Newton C. A. da Costa, On the Theory of Inconsistent Formal Systems (1974)Notre Dame Journal of Formal Logic, 15(4), 497–510

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

뉴턴 다 코스타의 《On the Theory of Inconsistent Formal Systems》(1974)을 따라, 모순과 사소성의 구분에서 Cₙ 계층과 NF₁ 집합론까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Newton C. A. da Costa, On the Theory of Inconsistent Formal Systems (1974)

논문 대담Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)Philosophia, 16, 293–305

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

다 코스타와 카르니엘리의 《On Paraconsistent Deontic Logic》(1986)을 따라, 충돌하는 의무와 C₁ᴰ의 비사소성, 가능세계 의미론과 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)

논문 대담Jean-Yves Girard, Linear Logic (1987)Theoretical Computer Science, 50, 1–101

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

장이브 지라르의 《Linear Logic》(1987)을 따라, 전제의 사용에서 증명망과 정규화까지 읽습니다. 14개의 문답, 15개의 생각그림, 세 가지 실험을 함께 담았습니다.

Jean-Yves Girard, Linear Logic (1987)

논문 대담Yves Lafont, Soft Linear Logic and Polynomial Time (2004)Theoretical Computer Science, 318(1–2), 163–180

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

이브 라퐁의 《Soft Linear Logic and Polynomial Time》(2004)을 따라, 복제의 규칙에서 계산량의 상한까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험으로 다항시간 보증의 조건을 확인합니다.

Yves Lafont, Soft Linear Logic and Polynomial Time (2004)

76–80 / 187편