Edit Profile (opens in new tab) Boričić, Branislav R. Compute Distance To: Compute Author ID: boricic.branislav-r Published as: Boričić, Branislav R.; Boričić, Branislav; Boricic, Branislav R. External Links: MGP Documents Indexed: 24 Publications since 1981, including 3 Books Reviewing Activity: 291 Reviews Co-Authors: 2 Co-Authors with 4 Joint Publications 17 Co-Co-Authors Co-Authors 20 single-authored 3 Ilić, Mirjana 1 Rašković, Miodrag D. 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 Fields 23 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 19 times in 14 Documents Cited by ▼ Year ▼ On sequence-conclusion natural deduction systems. Zbl 0572.03033Boričić, Branislav R. 9 1985 A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019Ilić, Mirjana; Boričić, Branislav 2 2014 A cut-free Gentzen-type system for the logic of the weak law of excluded middle. Zbl 0639.03023Boričić, Branislav R. 2 1986 On certain normalizable natural deduction formulations of some propositional intermediate logics. Zbl 0668.03010Boričić, Branislav R. 2 1988 A note on some intermediate propositional calculi. Zbl 0555.03013Boričić, Branislav R. 1 1984 Interpolation theorem for intuitionistic S4. Zbl 0732.03010Boričić, Branislav R. 1 1991 On fuzzification of propositional logics. Zbl 0960.03020Boričić, Branislav 1 1999 On some interpretations of classical logic. Zbl 0794.03011Boričić, Branislav R. 1 1992 A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019Ilić, Mirjana; Boričić, Branislav 2 2014 On fuzzification of propositional logics. Zbl 0960.03020Boričić, Branislav 1 1999 On some interpretations of classical logic. Zbl 0794.03011Boričić, Branislav R. 1 1992 Interpolation theorem for intuitionistic S4. Zbl 0732.03010Boričić, Branislav R. 1 1991 On certain normalizable natural deduction formulations of some propositional intermediate logics. Zbl 0668.03010Boričić, Branislav R. 2 1988 A cut-free Gentzen-type system for the logic of the weak law of excluded middle. Zbl 0639.03023Boričić, Branislav R. 2 1986 On sequence-conclusion natural deduction systems. Zbl 0572.03033Boričić, Branislav R. 9 1985 A note on some intermediate propositional calculi. Zbl 0555.03013Boričić, Branislav R. 1 1984 all cited Publications top 5 cited Publications all top 5 Cited by 16 Authors 3 Ilić, Mirjana 2 Boričić, Branislav R. 1 Abbas, Mujahid 1 Achourioti, Theodora 1 Cellucci, Carlo 1 Ćirić, Ljubomir B. 1 Damjanović, Boško 1 Francez, Nissim 1 Hjortland, Ole Thomassen 1 Hosoi, Tsutomu 1 Humberstone, Lloyd 1 Luppi, Carla 1 Read, Stephen 1 Saadati, Reza 1 van Lambalgen, Michiel Marian Michiel 1 Zach, Richard all top 5 Cited in 9 Serials 4 Studia Logica 2 Journal of Philosophical Logic 2 The Review of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Annals of Pure and Applied Logic 1 Mathematical and Computer Modelling 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 Logica Universalis Cited in 3 Fields 13 Mathematical logic and foundations (03-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) Citations by Year