Branislav Boričić

zbMath Openboricic.branislav-rWikidataQ11041458 ScholiaQ11041458MaRDI QIDQ1062052

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logic Journal of the IGPL	2022-01-05	Paper
An alternative normalization of the implicative fragment of classical logic Studia Logica	2015-07-02	Paper
A cut-free sequent calculus for relevant logic RW Logic Journal of the IGPL	2015-02-12	Paper
scientific article; zbMATH DE number 5840915 (Why is no real title available?)	2011-01-25	Paper
scientific article; zbMATH DE number 2047331 (Why is no real title available?)	2004-02-26	Paper
On fuzzification of propositional logics Fuzzy Sets and Systems	2001-05-10	Paper
scientific article; zbMATH DE number 1505462 (Why is no real title available?)	2000-09-13	Paper
Validity Measurement in Some Propositional Logics Mathematical Logic Quarterly	1998-03-17	Paper
scientific article; zbMATH DE number 834562 (Why is no real title available?)	1996-07-16	Paper
scientific article; zbMATH DE number 851275 (Why is no real title available?)	1996-03-05	Paper
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC Mathematical Logic Quarterly	1994-07-11	Paper
scientific article; zbMATH DE number 427403 (Why is no real title available?)	1993-10-06	Paper
scientific article; zbMATH DE number 4210104 (Why is no real title available?)	1991-01-01	Paper
scientific article; zbMATH DE number 4170862 (Why is no real title available?)	1990-01-01	Paper
A note on sequent calculi intermediate between LJ and LK Studia Logica	1988-01-01	Paper
On certain normalizable natural deduction formulations of some propositional intermediate logics Notre Dame Journal of Formal Logic	1988-01-01	Paper
A cut-free Gentzen-type system for the logic of the weak law of excluded middle Studia Logica	1986-01-01	Paper
On sequence-conclusion natural deduction systems Journal of Philosophical Logic	1985-01-01	Paper
On Some Subsystems of Dummett's LC Mathematical Logic Quarterly	1985-01-01	Paper
A note on some intermediate propositional calculi Journal of Symbolic Logic	1984-01-01	Paper
scientific article; zbMATH DE number 3851084 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3882409 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3885877 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3784880 (Why is no real title available?)	1981-01-01	Paper
Arrow-Sen theory simplified	N/A	Paper

Research outcomes over time

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