Branislav R. Boricic - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2022

Proving, Refuting, Improving - Looking for a TheoremBranislav R. Boricic. axioms, 11(10):559, 2022. [doi]

2021

A note on the system GRW with the intensional contraction ruleMirjana Ilic, Branislav R. Boricic. igpl, 29(3):333-339, 2021. [doi]

2015

An Alternative Normalization of the Implicative Fragment of Classical LogicBranislav R. Boricic, Mirjana Ilic. sLogica, 103(2):413-446, 2015. [doi]

2014

A cut-free sequent calculus for relevant logic RWMirjana Ilic, Branislav R. Boricic. igpl, 22(4):673-695, 2014. [doi]

1999

On fuzzification of propositional logicsBranislav R. Boricic. fss, 108(1):91-98, 1999. [doi]

1997

Validity Measurement in Some Propositional LogicsBranislav R. Boricic. mlq, 43:550-558, 1997.

1995

A Note on Probabilistic Validity Measure in Propositional CalculiBranislav R. Boricic. igpl, 3(5):721-724, 1995. [doi]

1992

On Some Interpretations of Classical LogicBranislav R. Boricic. mlq, 38(1):409-412, 1992. [doi]

1988

On certain normalizable natural deduction formulations of some propositional intermediate logicsBranislav R. Boricic. ndjfl, 29(4):563-568, 1988. [doi]

A note on sequent calculi intermediate between LJ and LKBranislav R. Boricic. sLogica, 47(2):151-157, 1988. [doi]

1986

A cut-free gentzen-type system for the logic of the weak law of excluded middleBranislav R. Boricic. sLogica, 45(1):39-53, 1986. [doi]

1985

On sequence-conclusion natural deduction systemsBranislav R. Boricic. jphil, 14(4):359-377, 1985. [doi]

On Some Subsystems of Dummett's LCBranislav R. Boricic. mlq, 31(14-18):243-247, 1985. [doi]

1984

A Note on Some Intermediate Propositional CalculiBranislav R. Boricic. JSYML, 49(2):329-333, 1984.

Sign in or sign up to see more results.

runs on WebDSL