Алгебра логики, какъ всякая дедуктивная теорiя, можетъ быть обоснована при помощи различныхъ системъ началъ; мы выберемъ ту изъ нихъ, которая наиболее приближается къ изложешю Шредера и къ обычной логической интерпретаци.