논문 대담Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)Journal of Applied Logics 12(5), 1349–1381
같은 입력에 0과 1이 함께 나오면, 계산 결과는 무엇일까요?
출석 여부를 확인하는 장치가 한 학생에게 1과 0을 함께 내놓았다고 합시다. 두 결과를 모두 기록하는 것과 답 하나를 정하는 것은 다른 문제입니다. 웨버와 카노호르헤의 논문은 모순을 허용하는 논리에서 계산과 함수의 조건을 검토합니다.
Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)
게시 2026-10-14해외 논리학 연구 해설 읽기 →





