cylindrisk algebra
cylindrisk algebra, inom matematisk logik en typ av algebraisk struktur som bygger på boolesk algebra.
Den infördes av Alfred Tarski med syftet att till predikatlogiken generalisera användandet av boolesk algebra inom satslogiken.
Information om artikeln
Källangivelse