Polyadická algebra - Polyadic algebra

Polyadické algebry (více nedávno volal Halmosovy algebry[1]) jsou algebraické struktury představil Paul Halmos. Jsou příbuzní logika prvního řádu způsobem analogickým se vztahem mezi Booleovy algebry a výroková logika (vidět Lindenbaum – Tarski algebra ).

Existují i ​​jiné způsoby, jak spojit logiku prvního řádu s algebrou, včetně Tarski je válcové algebry[1] (když rovnost je součástí logiky) a Lawvere je funktorická sémantika (A kategorický přístup).[2]

Reference

  1. ^ A b Michiel Hazewinkel (2000). Příručka algebry. 2. Elsevier. 87–89. ISBN  978-0-444-50396-1.
  2. ^ Jon Barwise (1989). Příručka matematické logiky. Elsevier. p. 293. ISBN  978-0-444-86388-1.

Další čtení