בלוגיקה ובלוגיקה מתמטית, תחשיב פְרֶדִיקַטִים הוא מערכת פורמלית לטיפול בפסוקים הכוללים פרדיקטים (פרדיקט הוא נשוא, או תכונה, ובשפה המתמטית - יחס). בשפה מסדר ראשון חלים הפרדיקטים והמשתנים על אובייקטים בלבד. לעומת זאת בשפה מסדר שני פרדיקטים יכולים לחול גם על פרדיקטים אחרים וכמתים יכולים לחול גם על פרדיקטים. מתוך ויקיפדיה

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