[el] Συμπερασματικό σύστημα

[es] Sistema deductivo

[nl] Deductief systeem

[pt] Sistema dedutivo