про логику

[wizzard]

открыл для себя, что логика, где кроме "правда" и "ложь" бывает "неизвестно" и "противоречиво" называется FL4. А вот что еще можно почитать по теме, на русском или английском, кроме трудов Павлова? В идеале что-нибудь, эмм, прикладное, потому что философские и метафизические труды регулярно содержат мегатонны трэша с чуждой мне терминологией, об которую ломается мозг. Или гайд по терминологии если вдруг есть, тоже круто было бы.