폴리아디치 대수
Polyadic algebra폴리아디치 알헤브라스(Polyadic 알헤브라스)는 폴 할모스가 도입한 대수 구조물이다[1].이들은 부울 알헤브라와 명제 논리 사이의 관계와 유사한 방식으로 1차 논리학과 관련이 있다(린덴바움– 참조).타르스키 대수).null
타르스키의 원통형 알헤브라스[1](평등이 논리의 일부일 때)와 로베리아의 펑터럴 의미론(정형적 접근법) 등 1차 논리를 대수학과 연관시키는 다른 방법이 있다.[2]null
참조
- ^ a b Michiel Hazewinkel (2000). Handbook of algebra. Vol. 2. Elsevier. pp. 87–89. ISBN 978-0-444-50396-1.
- ^ Jon Barwise (1989). Handbook of mathematical logic. Elsevier. p. 293. ISBN 978-0-444-86388-1.
추가 읽기
