통합검색

증명과 프로그램이 같은 구조라고 말할 수 있을까?

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

참인지 거짓인지 아직 정해지지 않은 문장도 논리 안에 둘 수 있을까?

크립키는 진리 판정을 한 번에 끝내지 않고 단계적으로 확장해 고정점에 이르는 방법으로 자기지시와 진리값 공백을 다룹니다.

Outline of a Theory of Truth

‘아직 모름’을 거짓으로 처리해도 될까?

참·거짓에 미정을 더하면 ‘그리고’와 ‘또는’은 어떻게 달라질까요? 다치논리의 한 체계를 정확히 제한해 살펴봅니다.

Many-Valued Logic

둘 다 어느 정도 참이면 ‘그리고’는 어떻게 계산할까?

입력 0.8과 0.6에 대해 최솟값 0.6, 곱 0.48, 우카시에비치 연언 0.4를 비교한 계산표.

명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?

유한 조건 묶음들이 각각 만족되는 경로와 무한 연언 전체를 확인하는 경로가 콤팩트성 검토점에서 갈라진다.