Edit Profile (opens in new tab) Boričić, Branislav R. Co-Author Distance Author ID: boricic.branislav-r Published as: Boričić, Branislav R.; Boričić, Branislav; Boricic, Branislav R. more...less External Links: MGP · Wikidata Documents Indexed: 27 Publications since 1981, including 3 Books and 2 Additional arXiv Preprints Reviewing Activity: 299 Reviews Co-Authors: 4 Co-Authors with 6 Joint Publications 22 Co-Co-Authors Co-Authors 21 single-authored 4 Ilić, Mirjana 1 Rašković, Miodrag D. 1 Srećković, Marija 1 Stanojević, Jelena all top 5 Serials 3 Publications de l’Institut Mathématique. Nouvelle Série 3 Studia Logica 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Logic Journal of the IGPL 2 Bulletin of the Section of Logic 1 Fuzzy Sets and Systems 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Mathematica Balkanica. New Series 1 Mathematical Logic Quarterly (MLQ) 1 Journal of the IGPL 1 Cambridge Tracts in Mathematics and Mathematical Physics all top 5 Fields 26 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 33 times in 24 Documents Cited by ▼ Year ▼ On sequence-conclusion natural deduction systems. Zbl 0572.03033 Boričić, Branislav R. 11 1985 A probabilistic validity measure in intuitionistic propositional logic. Zbl 1040.03509 Boričić, Branislav; Rašković, Miodrag 4 1996 A cut-free Gentzen-type system for the logic of the weak law of excluded middle. Zbl 0639.03023 Boričić, Branislav R. 4 1986 A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019 Ilić, Mirjana; Boričić, Branislav 4 2014 On certain normalizable natural deduction formulations of some propositional intermediate logics. Zbl 0668.03010 Boričić, Branislav R. 3 1988 On some interpretations of classical logic. Zbl 0794.03011 Boričić, Branislav R. 1 1992 Validity measurement in some propositional logics. Zbl 0884.03018 Boričić, Branislav 1 1997 A note on some intermediate propositional calculi. Zbl 0555.03013 Boričić, Branislav R. 1 1984 On fuzzification of propositional logics. Zbl 0960.03020 Boričić, Branislav 1 1999 A note on the system \(GRW\) with the intensional contraction rule. Zbl 1498.03053 Ilić, Mirjana; Boričić, Branislav 1 2021 Interpolation theorem for intuitionistic S4. Zbl 0732.03010 Boričić, Branislav R. 1 1991 A note on sequent calculi intermediate between LJ and LK. Zbl 0664.03020 Boričić, Branislav R. 1 1988 A note on the system \(GRW\) with the intensional contraction rule. Zbl 1498.03053 Ilić, Mirjana; Boričić, Branislav 1 2021 A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019 Ilić, Mirjana; Boričić, Branislav 4 2014 On fuzzification of propositional logics. Zbl 0960.03020 Boričić, Branislav 1 1999 Validity measurement in some propositional logics. Zbl 0884.03018 Boričić, Branislav 1 1997 A probabilistic validity measure in intuitionistic propositional logic. Zbl 1040.03509 Boričić, Branislav; Rašković, Miodrag 4 1996 On some interpretations of classical logic. Zbl 0794.03011 Boričić, Branislav R. 1 1992 Interpolation theorem for intuitionistic S4. Zbl 0732.03010 Boričić, Branislav R. 1 1991 On certain normalizable natural deduction formulations of some propositional intermediate logics. Zbl 0668.03010 Boričić, Branislav R. 3 1988 A note on sequent calculi intermediate between LJ and LK. Zbl 0664.03020 Boričić, Branislav R. 1 1988 A cut-free Gentzen-type system for the logic of the weak law of excluded middle. Zbl 0639.03023 Boričić, Branislav R. 4 1986 On sequence-conclusion natural deduction systems. Zbl 0572.03033 Boričić, Branislav R. 11 1985 A note on some intermediate propositional calculi. Zbl 0555.03013 Boričić, Branislav R. 1 1984 all cited Publications top 5 cited Publications all top 5 Cited by 28 Authors 4 Ognjanović, Zoran 3 Boričić, Branislav R. 3 Ilić Stepić, Angelina 3 Ilić, Mirjana 2 Perović, Aleksandar 1 Abbas, Mujahid 1 Achourioti, Theodora 1 Akbar Tabatabai, Amirhossein 1 Boričić, Marija 1 Cellucci, Carlo 1 Ceragioli, Leonardo 1 Ćirić, Ljubomir B. 1 Damjanović, Boško 1 Francez, Nissim 1 Hjortland, Ole Thomassen 1 Hosoi, Tsutomu 1 Humberstone, Lloyd 1 Ilić-Stepić, Anelina 1 Jalali, Raheleh 1 Kennedy, Neil 1 Knežević, Mateja 1 Lang, Timo 1 Luppi, Carla 1 Read, Stephen 1 Saadati, Reza 1 Srećković, Marija 1 van Lambalgen, Michiel Marian Michiel 1 Zach, Richard all top 5 Cited in 10 Serials 5 Studia Logica 3 Journal of Philosophical Logic 2 Annals of Pure and Applied Logic 2 Archive for Mathematical Logic 2 Mathematical Logic Quarterly (MLQ) 2 The Review of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Mathematical and Computer Modelling 1 Logica Universalis Cited in 5 Fields 22 Mathematical logic and foundations (03-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.