×

zbMATH — the first resource for mathematics

Boričić, Branislav R.

Compute Distance To:
Author ID: boricic.branislav-r Recent zbMATH articles by "Boričić, 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.

Publications by Year

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.03033
Boričić, Branislav R.
8
1985
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
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
1
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
A note on some intermediate propositional calculi. Zbl 0555.03013
Boričić, Branislav R.
1
1984
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
1
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.
8
1985
A note on some intermediate propositional calculi. Zbl 0555.03013
Boričić, Branislav R.
1
1984

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.