Branislav R. Boricic

According to our database, Branislav R. Boricic authored at least 15 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2023

On Boolean reliability algebra.

Branislav R. Boricic, Mirjana Ilic, Jelena Stanojevic

CoRR, 2023

2022

Proving, Refuting, Improving - Looking for a Theorem.

Branislav R. Boricic

Axioms, 2022

2021

A note on the system GRW with the intensional contraction rule.

Mirjana Ilic, Branislav R. Boricic

Log. J. IGPL, 2021

2015

An Alternative Normalization of the Implicative Fragment of Classical Logic.

Branislav R. Boricic, Mirjana Ilic

Stud Logica, 2015

2014

A cut-free sequent calculus for relevant logic RW.

Mirjana Ilic, Branislav R. Boricic

Log. J. IGPL, 2014

1999

On fuzzification of propositional logics.

Branislav R. Boricic

Fuzzy Sets Syst., 1999

1997

Validity Measurement in Some Propositional Logics.

Branislav R. Boricic

Math. Log. Q., 1997

1995

A Note on Probabilistic Validity Measure in Propositional Calculi.

Branislav R. Boricic

Log. J. IGPL, 1995

1992

On Some Interpretations of Classical Logic.

Branislav R. Boricic

Math. Log. Q., 1992

1988

A note on sequent calculi intermediate between LJ and LK.

Branislav R. Boricic

Stud Logica, 1988

On certain normalizable natural deduction formulations of some propositional intermediate logics.

Branislav R. Boricic

Notre Dame J. Formal Log., 1988

1986

A cut-free gentzen-type system for the logic of the weak law of excluded middle.

Branislav R. Boricic

Stud Logica, 1986

1985

On Some Subsystems of Dummett's LC.

Branislav R. Boricic

Math. Log. Q., 1985

On sequence-conclusion natural deduction systems.

Branislav R. Boricic

J. Philos. Log., 1985

1984

A Note on Some Intermediate Propositional Calculi.

Branislav R. Boricic

J. Symb. Log., 1984