Brezilya'daki araştırmacılar, geleneksel mantığın sınırlarını aşan yenilikçi bir sistem geliştirdi. QLETF+ olarak adlandırılan bu birinci dereceden mantık sistemi, bilgiyi sadece doğru veya yanlış olarak değil, altı farklı değer kategorisinde değerlendiriyor.
Sistem, pozitif bilgi, negatif bilgi ve güvenilir bilgi arasında ayrım yapabilen özel bir yapıya sahip. Bu yaklaşım, belirsizlik içeren durumları analiz etmede geleneksel mantık sistemlerinden çok daha etkili sonuçlar veriyor. Araştırmacılar, sistemin değiştirme özelliğini karşıladığını ve bağlaçlı, ayrımlı ve preneks normal formları kabul ettiğini kanıtladı.
Yeni sistemin en dikkat çekici özelliği, 'o-uzantıları' kullanması. Bu yapı sayesinde, n-değişkenli bir yüklem sembolü için, o-yüklemini karşılayan birey gruplarını belirleyebiliyor. Bu özellik, özellikle karmaşık matematiksel ispatlarda büyük kolaylık sağlıyor.
Araştırma ekibi, altı değerli semantik yapı ile sistemin ses ve tamlık özelliklerini de matematiksel olarak ispatladı. Bu gelişme, belirsizlik teorisi ve yapay zeka uygulamaları için önemli bir adım olarak görülüyor.