오늘의 논문
원문 보기 문헌연구
NEW PAPER IT Crossref 실존 확인 2026-09-18 회차 지난 회차

무한 인수부정 번역과 Glivenko 논리

Infinitary negative translations and Glivenko logic
Giacomo Bartoli, Giulio Fellin, Matteo Tesi · Archive for Mathematical Logic · 2026년 · 조회 13
왜 이 논문인가 — 선정 기준
NEW PAPER · 최근 발표된 참신한 논문 — 게재일 기준 최신 + 정상 등재 저널
2026-09 발표 · 게재 1일차 · Archive for Mathematical Logic
NEW PAPER 슬롯에 선정된 이유는 2026년 최신 발표 논문으로, 독창적인 이론적 기여와 아직 인용이 없는 신선함에 있다.
논문 요약
본 연구는 무한 직관주의 논리를 구문·의미론적 방법으로 조사한다. 무한 술어 논리를 위한 자연 연역 체계를 도입하고, 이를 네이버후드 의미론으로 확장해 완전성·음성 정리를 제공한다. 이를 바탕으로 고전·구성 논리 사이의 보존 결과 세 가지를 도출했으며, 무한 버전의 Barr 정리, Gentzen식 부정 번역을 통한 고전 논리의 최소 논리 내 임베딩, 그리고 Glivenko 정리를 확장한 무한 Glivenko 논리를 제시한다.
후속 연구설계에 활용하기
제시된 무한 자연 연역 체계와 부정 번역을 활용해 새로운 증명 도구나 확장 논리 시스템을 구현하는 연구 설계에 적용할 수 있다.
핵심어
무한 직관주의 논리네이버후드 의미론부정 번역Glivenko 논리
실존 확인
이 논문은 OpenAlex에서 후보로 수집한 뒤, Crossref에 등록된 DOI와 제목 일치를 확인해 노출합니다. SSRA가 문헌연구에서 인용 논문의 실재 여부를 검증하는 원칙과 같습니다.
DOI: 10.1007/s00153-026-01028-0
2026-09-18 확인 · 2026-09-18 선정
같은 회차의 다른 논문
Editor's Pick 13
기후 변화가 전 세계 농업에 미치는 영향: 적응을 고려한 분석
 HOT PAPER 경영·경제 14
녹색금융 정책이 포괄적 녹색성장을 촉진할 수 있는가
 NEW PAPER 경영·경제 15
ESG 차원별 영향력은 동등한가? 대만 금융지주 사례
 RESEARCH PAPER 경영·경제 13
기후변화 뉴스에 대한 동적 헤징 전략
 HOT PAPER 사회과학 14
204개 국가·지역의 연령·성별별 사망률 및 기대수명 추정 (1950‑2023)
 NEW PAPER 사회과학 13
잔지바르 주립대학 내부 품질보증 입력에 대한 학자들의 이해와 유용성 인식
 RESEARCH PAPER 사회과학 13
다리 중심성: 공존질환 이해를 위한 네트워크 접근법
 HOT PAPER 교육 13
혁신적 교수법이 고등교육에서 학생 비판적 사고와 학습 성과를 향상시키는 방안: 포괄적 리더십의 매개 역할
 NEW PAPER 교육 12
AI와 Agile을 통한 의사결정 과학 교육 혁신: 기술 경영 프로젝트 기반 학습 사례
 RESEARCH PAPER 교육 13
이론적 포화 개념에 대한 실용적 정의
 HOT PAPER 간호·보건 14
무기질과 인간 건강: 결핍에서 독성까지
 NEW PAPER 간호·보건 13
입원 소아·청소년 비만 환자의 안전 고려사항
 RESEARCH PAPER 간호·보건 13
인체 산화 스트레스 바이오마커의 측정 및 임상 의의
 HOT PAPER IT 15
비전 분야를 정의하는 Foundation 모델: 설문 조사와 전망
 RESEARCH PAPER IT 13
SciPy 1.0: 파이썬 과학 연산을 위한 기본 알고리즘
 HOT PAPER 자연과학 16
식물의 가뭄 내성: 생리·분자 반응
 NEW PAPER 자연과학 13
다중 사건 지평을 가진 아인슈타인‑오일러‑헤센버그 블랙홀의 스칼라화
 RESEARCH PAPER 자연과학 12
GFN2‑xTB: 다중극 전기와 밀도 의존 분산을 포함한 정확한 반경밀도 결합 방법
 HOT PAPER 예체능 14
인간-컴퓨터 파라소셜 관계: ‘조수’와 ‘친구’ 역할
 NEW PAPER 예체능 14
유리솥에서 캔버스로: 메틸오렌지와 플루오레신으로 예술 합성
 RESEARCH PAPER 예체능 12
인스타그램에서 비교와 질투가 영감을 이끄는 메커니즘