Branislav R. Boričić

Available identifiers

zbMath Open boricic.branislav-rWikidataQ11041458 ScholiaQ11041458MaRDI QIDQ1062052

List of research outcomes

Publication	Date of Publication	Type
On Boolean reliability algebra	2023-07-24	Paper
A note on the system GRW with the intensional contraction rule	2022-01-05	Paper
An alternative normalization of the implicative fragment of classical logic	2015-07-02	Paper
A cut-free sequent calculus for relevant logic RW	2015-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3069241	2011-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4451536	2004-02-26	Paper
On fuzzification of propositional logics	2001-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4502916	2000-09-13	Paper
Validity Measurement in Some Propositional Logics	1998-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4860648	1996-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4867840	1996-03-05	Paper
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC	1994-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q3137303	1993-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q3358708	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3496308	1990-01-01	Paper
A note on sequent calculi intermediate between LJ and LK	1988-01-01	Paper
On certain normalizable natural deduction formulations of some propositional intermediate logics	1988-01-01	Paper
A cut-free Gentzen-type system for the logic of the weak law of excluded middle	1986-01-01	Paper
On sequence-conclusion natural deduction systems	1985-01-01	Paper
On Some Subsystems of Dummett's LC	1985-01-01	Paper
A note on some intermediate propositional calculi	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216635	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3220564	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3320371	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3962998	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Branislav R. Boričić