Резултати
Назив: | A probabilistic extension of intuitionistic logic | Аутори: | Marković, Zoran; Ognjanović, Zoran ![]() ![]() |
Ментор: | Probabilistic logic | Intuitionistic logic | Completeness | Decidability | Година: | 2003 | Публикација: | Mathematical Logic Quarterly | ISSN: | 0942-5616![]() ![]() |
Издавач: | Wiley-VCH Verlag | Тип резултата: | Научни чланак | Колација: | vol. 49 br. 4 str. 415-424 | DOI: | 10.1002/malq.200310044 | WoS-ID: | 000184115800011 | Scopus-ID: | 2-s2.0-0037703694 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/80 https://enauka.gov.rs/handle/123456789/577606 |
Пројекат: | Methods of Mathematical Logic for Decision Support in Real Life Situations | М-категорија: | 22M22 - Међународни часопис категорије M22 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.