Pretraga
Rezultati
On sequence-conclusion natural deduction systems
[1985]
Boričić, Branislav 
A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic [1981]
Došen, Kosta
The first axiomatization of relevant logic [1992]
Došen, Kosta
Modal translations in substructural logics [1992]
Došen, Kosta
NORMAL DERIVATIONS AND SEQUENT DERIVATIONS
[2008]
Borisavljevic, Mirjana P
Filteri
Po tipu