شش درجه جدایی
در سال ۱۹۲۹ یک نویسنده مجارستانی به نام فریگیس کارینتی در یکی از داستان‌های کوتاه خود به نام زنجیرها مفهوم فاصله اجتماعی را مطرح می‌کند که بعدها به عنوان نظریه شش درجه جدایی شناخته شد.
منطق جدایی
منطق جدایی به دلیل کاربرد در درستی‌یابی برنامه‌های کامپیوتری، عملکرد وسیعی در ابزارهای مختلف وارسی مدل‌ها و همچنین کاربردهای صنعتی دارد. به‌نحوی‌که O'Hearn که از مبدعین این منطق بوده، از سال ۲۰۱۳ در شرکت فیسبوک مشغول به کار است. به صورت کلی، ابزارهایی که از منطق جدایی استفاده می‌کنند در دسته‌های مختلف هستند: