×

Boričić, Branislav R.

Author ID: boricic.branislav-r Recent zbMATH articles by "Boričić, Branislav R."
Published as: Boričić, Branislav R.; Boričić, Branislav; Boricic, Branislav R.
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

Publications by Year

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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.