Terms for subject Information technology containing logic system

English	Finnish
binary logic system	binäärinen logiikkajärjestelmä
logic system	looginen järjestelmä
natural deduction systems of logic	logiikan luonnolliset päättelyjärjestelmät
one-dimensional logic system	yksidimensionaalinen looginen järjestelmä
passive logic system	passiivinen looginen järjestelmä
system of formal logic	aksiomatiikka
system of formal logic	formaalinen systeemi