Branislav Boričić

Available identifiers

zbMath Open boricic.branislav-rWikidataQ11041458 ScholiaQ11041458MaRDI QIDQ1062052

List of research outcomes

Publication	Date of Publication	Type
Vetoing: social, logical and mathematical aspects	2024-09-20	Paper
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/Q3320371	1983-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/Q3962998	1981-01-01	Paper
Arrow-Sen theory simplified	N/A	Paper

Research outcomes over time

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