Chrysippus, mantık konusunda çok şey yazdı ve bir önermesel mantık sistemi yarattı.Chrysippus wrote much on the subject of logic and created a system of propositional logic.
Bu veri yapıları, esas alınan mantık sisteminin aksiyomlarına ve çıkarım kurallarına göre oluşturulur.Diese werden gemäß den Axiomen und Schlussregeln des betrachteten logischen Systems konstruiert.