БОРИЧИЋ, Бранислав

БОРИЧИЋ, Бранислав, математичар, универзитетски професор (Иванград/ Беране, 12. V 1955). Дипломирао (1977), магистрирао (1980) и тезом „Прилог теорији интермедијалних исказних логика" докторирао (1984) на Природно-математичком факултету у Београду. Редовни је професор Економског факултета у Београду од 1995. Боравио на стручним и научним усавршавањима у Лондону (1985), Ираклиону (1994–1996), Солуну (1997) и Патрасу (1999). У оквиру математичке логике област научног рада Б. су: теорија доказа, некласичне логике, логика преференција, теорија друштвеног избора (Logic and Proofs, Thessaloniki 1995, на грчком; српско издање 2011). У домену некласичних логика бави се интермедијалним логикама које настају између класичне и интуиционистичке логике („On certain normalisable natural deduction formulations of some propositional intermediate logic", Notre Dame Journal of Formal Logic, 1988, 29, 4) У уведеним природно дедукцијским и секвенцијалним формулацијама тих логика доказао теорему о елиминацији сечења и теорему о интерполацији и сепарацији. Пише чланке о методици математике за студенте и средњошколске наставнике и ђаке. Преводи с руског и грчког језика.

ДЕЛА: „A note on some intermediate propositional calculi", Journal of Symbolic Logic, 1984, 49; „On some subsystems of Dummett's LC", Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 1985, 31; „On sequence-conclusion natural deduction systems", Journal of Philosophical Logic, 1985, 14; „On fuzzification of propositional logics", Fuzzy Sets and Systems, 1999, 108.

Силвија Гилезан

*Текст је објављен у 2. књизи I тома Српске енциклопедије (2011)