Logic algebras and matrices
Grzegorz Malinowski · 1993
Abstract First, algebraic interpretation structures for propositional languages within the classical Fregean semantic framework are derived. Next, functional completeness, the property of finite logic algebras which warrants the biggest expressive power of the corresponding bunch of connectives, is discussed. In the end, matrices, i.e. algebras with distinguished elements serving as models for propositional calculi, are introduced.