대수적 의미론(수학적 논리학)
Algebraic semantics (mathematical logic) |
수학적 논리학에서 대수적 의미학은 대수적 논리의 일부로 연구된 알헤브라를 기반으로 하는 형식적 의미론이다. 예를 들어, 모달 논리 S4는 위상학적 부울 알헤브라의 등급, 즉 내부 운영자가 있는 부울 알헤브라의 등급으로 특징지어진다. 다른 모달 로직은 연산자가 있는 다양한 다른 알헤브라가 특징이다. 부울 알헤브라의 계급은 고전적인 명제적 논리, 헤잉 알헤브라의 명제적 직관적 논리를 특징으로 한다. MV-알제브라는 우카시오비츠 논리의 대수적 의미론이다.
참고 항목
추가 읽기
- Josep Maria Font; Ramón Jansana (1996). A general algebraic semantics for sentential logics. Springer-Verlag. ISBN 9783540616993. (2009년 ASL에서 2차 발행) 프로젝트 유클리드에서의 오픈 액세스
- W.J. Blok; Don Pigozzi (1989). Algebraizable logics. American Mathematical Society. ISBN 0821824597.
- Janusz Czelakowski (2001). Protoalgebraic logics. Springer. ISBN 9780792369400.
- J. Michael Dunn; Gary M. Hardegree (2001). Algebraic methods in philosophical logic. Oxford University Press. ISBN 9780198531920. 비분류적 논리학에 대한 사전 노출이 있지만 순서 이론 및/또는 보편적 대수학에서 많은 배경이 없는 독자들을 위한 좋은 소개. 이 책은 이러한 전제조건들을 상세히 다루고 있다. 그러나 이 책은 추상 대수 논리 결과의 제시가 서툴고 때로는 부정확하다는 비판을 받아왔다. [1]
