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