Mirjana Ilić

Available identifiers

Publication	Date of Publication	Type
A note on an alternative Gentzenization of RW+∘	2023-09-12	Paper
On Boolean reliability algebra	2023-07-24	Paper
A note on the system \(GRW\) with the intensional contraction rule	2022-01-05	Paper
A cut-elimination proof in positive relevant logic with necessity	2021-08-19	Paper
A natural deduction and its corresponding sequent calculus for positive contraction-less relevant 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\)	2017-02-01	Paper
An alternative natural deduction for the intuitionistic propositional logic	2017-01-27	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

This page was built for person: Mirjana Ilić