Branislav R. Boricic

Orcid: 0000-0001-8548-5913

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

Collaborative distances:
  • Dijkstra number2 of seven.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On Boolean reliability algebra.
CoRR, 2023

2022
Proving, Refuting, Improving - Looking for a Theorem.
Axioms, 2022

2021
A note on the system GRW with the intensional contraction rule.
Log. J. IGPL, 2021

2015
An Alternative Normalization of the Implicative Fragment of Classical Logic.
Stud Logica, 2015

2014
A cut-free sequent calculus for relevant logic RW.
Log. J. IGPL, 2014

1999
On fuzzification of propositional logics.
Fuzzy Sets Syst., 1999

1997
Validity Measurement in Some Propositional Logics.
Math. Log. Q., 1997

1995
A Note on Probabilistic Validity Measure in Propositional Calculi.
Log. J. IGPL, 1995

1992
On Some Interpretations of Classical Logic.
Math. Log. Q., 1992

1988
A note on sequent calculi intermediate between LJ and LK.
Stud Logica, 1988

On certain normalizable natural deduction formulations of some propositional intermediate logics.
Notre Dame J. Formal Log., 1988

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

1985
On Some Subsystems of Dummett's LC.
Math. Log. Q., 1985

On sequence-conclusion natural deduction systems.
J. Philos. Log., 1985

1984
A Note on Some Intermediate Propositional Calculi.
J. Symb. Log., 1984


  Loading...