לוגיקה תלמודית הוא ענף של הלוגיקה שקושר בין המחקר בלוגיקה לחקר התלמוד. כבר מראשיתו, בימי הביניים, המחקר ייבא אל התלמוד עקרונות ודרכי חשיבה מהלוגיקה. החל מסוף המאה ה⁻20, מתקיים מחקר המקשר בין הלוגיקה התלמודית ללוגיקה פורמלית, ואף מייצא עקרונות לוגיים תלמודיים אל הלוגיקה המודרנית. מתוך ויקיפדיה

לוגיקה עסקית, לוגיקה פורמלית, לוגיקה פרטית, לוגיקה קונסטרוקטיבית, לוגיקה של אריסטו, לוגיקה תלת ערכית, לוגיקה תלת⁻ערכית, לוגיקן, לוגיקת הזורמים, לוגיקת הפרדיקטים