üçüncünün olanaksızlığı ilkesini bir şekilde reddederek, ikiden fazla doğruluk değerine yer veren, kendisinde geçen her formülün ikiden fazla doğruluk değerine sahip olduğu bir mantık sistemine; bazı çıkarım türlerini analiz ederken, doğru, yanlış ve belirsiz, zorunlu olarak doğru, zorunlu olarak yanlış ve mümkün, kesinlikle doğru, kesinlikle yanlış örneklerinde olduğu gibi, en az üç doğruluk değeri kullanan mantığa verilen ad.