Edit Profile Boričić, Branislav R. Compute Distance To: Compute Author ID: boricic.branislav-r Published as: Boricic, Branislav R.; Boričić, Branislav; Boričić, Branislav R. External Links: MGP · Wikidata Documents Indexed: 23 Publications since 1981, including 3 Books Reviewing Activity: 285 Reviews Co-Authors 20 single-authored 2 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 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 Logic Journal of the IGPL 1 Cambridge Tracts in Mathematics and Mathematical Physics Fields 22 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 8 Publications have been cited 17 times in 12 Documents Cited by ▼ Year ▼ On sequence-conclusion natural deduction systems. Zbl 0572.03033Boričić, Branislav R. 8 1985 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 A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019Ilić, Mirjana; Boričić, Branislav 1 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 A note on some intermediate propositional calculi. Zbl 0555.03013Boričić, Branislav R. 1 1984 A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019Ilić, Mirjana; Boričić, Branislav 1 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. 8 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 15 Authors 2 Boričić, Branislav R. 2 Ilić, Mirjana 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 all top 5 Cited in 9 Serials 3 Studia Logica 2 Journal of Philosophical 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 1 The Review of Symbolic Logic Cited in 3 Fields 11 Mathematical logic and foundations (03-XX) 1 Operator theory (47-XX) 1 General topology (54-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.