×

Boričić, Branislav R.

Compute Distance To:
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: 24 Publications since 1981, including 3 Books
Reviewing Activity: 291 Reviews
Co-Authors: 2 Co-Authors with 4 Joint Publications
17 Co-Co-Authors

Publications by Year

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.03033
Boričić, Branislav R.
9
1985
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
2
2014
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
A note on some intermediate propositional calculi. Zbl 0555.03013
Boričić, Branislav R.
1
1984
Interpolation theorem for intuitionistic S4. Zbl 0732.03010
Boričić, Branislav R.
1
1991
On fuzzification of propositional logics. Zbl 0960.03020
Boričić, Branislav
1
1999
On some interpretations of classical logic. Zbl 0794.03011
Boričić, Branislav R.
1
1992
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
2
2014
On fuzzification of propositional logics. Zbl 0960.03020
Boričić, Branislav
1
1999
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.
9
1985
A note on some intermediate propositional calculi. Zbl 0555.03013
Boričić, Branislav R.
1
1984

Citations by Year