Mirjana Ilić

MaRDI QIDQ2046879zbMATH OpenFDO

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
A note on an alternative Gentzenization of RW+∘ Mathematical Logic Quarterly	2023-09-12	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
A cut-elimination proof in positive relevant logic with necessity Studia Logica	2021-08-19	Paper
A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic Reports on Mathematical Logic	2018-03-29	Paper
The proof-theoretical analysis of contraction-less relevant logics	2017-07-19	Paper
An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\) Mathematical Logic Quarterly	2017-02-01	Paper
An alternative natural deduction for the intuitionistic propositional logic Bulletin of the Section of Logic	2017-01-27	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

Research outcomes over time

This page was built for person: Mirjana Ilić