Branislav R. Boricic

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2023 J jnl
On Boolean reliability algebra.
CoRR
Branislav R. Boricic, Mirjana Ilic, Jelena Stanojevic
2022 J jnl
Proving, Refuting, Improving - Looking for a Theorem.
Axioms
Branislav R. Boricic
2021 J jnl
A note on the system GRW with the intensional contraction rule.
Log. J. IGPL
Mirjana Ilic, Branislav R. Boricic
2015 J jnl
An Alternative Normalization of the Implicative Fragment of Classical Logic.
Stud Logica
Branislav R. Boricic, Mirjana Ilic
2014 J jnl
A cut-free sequent calculus for relevant logic RW.
Log. J. IGPL
Mirjana Ilic, Branislav R. Boricic
1999 J jnl
On fuzzification of propositional logics.
Fuzzy Sets Syst.
Branislav R. Boricic
1997 J jnl
Validity Measurement in Some Propositional Logics.
Math. Log. Q.
Branislav R. Boricic
1995 J jnl
A Note on Probabilistic Validity Measure in Propositional Calculi.
Log. J. IGPL
Branislav R. Boricic
1992 J jnl
On Some Interpretations of Classical Logic.
Math. Log. Q.
Branislav R. Boricic
1988 J jnl
A note on sequent calculi intermediate between LJ and LK.
Stud Logica
Branislav R. Boricic
1988 J jnl
On certain normalizable natural deduction formulations of some propositional intermediate logics.
Notre Dame J. Formal Log.
Branislav R. Boricic
1986 J jnl
A cut-free gentzen-type system for the logic of the weak law of excluded middle.
Stud Logica
Branislav R. Boricic
1985 J jnl
On Some Subsystems of Dummett's LC.
Math. Log. Q.
Branislav R. Boricic
1985 J jnl
On sequence-conclusion natural deduction systems.
J. Philos. Log.
Branislav R. Boricic
1984 J jnl
A Note on Some Intermediate Propositional Calculi.
J. Symb. Log.
Branislav R. Boricic