×

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
Documents Indexed: 25 Publications since 1981, including 3 Books and 1 Additional arXiv Preprint
Reviewing Activity: 295 Reviews
Co-Authors: 3 Co-Authors with 5 Joint Publications
22 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 26 times in 20 Documents Cited by Year
On sequence-conclusion natural deduction systems. Zbl 0572.03033
Boričić, Branislav R.
11
1985
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
3
2014
A probabilistic validity measure in intuitionistic propositional logic. Zbl 1040.03509
Boričić, Branislav; Rašković, Miodrag
3
1996
A cut-free Gentzen-type system for the logic of the weak law of excluded middle. Zbl 0639.03023
Boričić, Branislav R.
2
1986
On certain normalizable natural deduction formulations of some propositional intermediate logics. Zbl 0668.03010
Boričić, Branislav R.
2
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
Interpolation theorem for intuitionistic S4. Zbl 0732.03010
Boričić, Branislav R.
1
1991
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 cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
3
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
3
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.
2
1988
A cut-free Gentzen-type system for the logic of the weak law of excluded middle. Zbl 0639.03023
Boričić, Branislav R.
2
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