컴퓨터 과학 (Computer Science) > 컴퓨터 과학에서의 논리학 (Logic in Computer Science)

제목: 누적 명제 의존 논리(Cumulative Propositional Dependence Logics)의 함의(Entailment) 복잡성에 대하여

PDF HTML 보기 (실험적) 초록: 본 논문은 누적 명제 의존 논리(cumulative propositional dependence logic)와 팀 의미론(team semantics)을 가진 누적 명제 논리(cumulative propositional logic)에 대한 함의(entailment)의 복잡성 결과를 확립하고 증명합니다. 최근에 밝혀진 바와 같이, 누적 논리(cumulative logics)는 System C에 의해 특징지어지며 Kraus, Lehmann, Magidor의 누적 모델(cumulative models)에 의해 정확하게 포착되는 것으로 유명합니다. 이는 관계 모델(relational models)을 통한 함의(entailment) 문제를 발생시키며, 본 논문에서는 이를 구체적으로 다룹니다.

서지 및 인용 도구

이 기사와 관련된 코드, 데이터 및 미디어

데모

추천 및 검색 도구

arXivLabs: 커뮤니티 협력자와 함께하는 실험적 프로젝트

arXivLabs는 협력자들이 당사의 웹사이트에서 직접 새로운 arXiv 기능을 개발하고 공유할 수 있도록 지원하는 프레임워크입니다.

arXivLabs와 함께 활동하는 개인 및 조직은 개방성, 커뮤니티, 탁월함, 그리고 사용자 데이터 프라이버시라는 당사의 가치를 수용하고 받아들였습니다. arXiv는 이러한 가치에 전념하고 있으며, 이를 준수하는 파트너와만 협력합니다.

arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있습니까? arXivLabs에 대해 더 알아보기.