Search




Research outputs

Dyckhoff, Roy "Contraction-free sequent calculi for intuitionistic logic" - J. Symbolic Logic 57 (1992), no.3, 795-807.   [1994]

Došen, Kosta  

Rybakov, Vladimir V. "Intermediate logics preserving admissible inference rules of Heyting calculus" - Math. Logic Quart. 39 (1993), no.3, 403-415.   [1995]

Došen, Kosta  

Tasić, Milan "Version intuitionniste du calcul des neg.-propositions (prédicats) - Makedon. Akad. Nauk. Umet. Oddel. Mat.-Tehn. Nauk. Prilozi 14 (1993), no.2, 5-12 (1995)   [1997]

Došen, Kosta  

Sánchez-Mazas, Miguel "Essai de représentation per des nombres réels d'une analyse infinie des notions individuelles dans une infinité de mondes possibles" - Argumentation 3 (1989), no.1, 75-96.   [1991]

Došen, Kostać  

Boričić, Branislav R. "On certain normalizable natural deduction formulations of some propositional intermediate logics" - Notre Dame J. Formal Logic 29 (1988), no.4, 563-568.   [1990]

Došen, Kosta  

Orlowska, Eva "Logic of nondeterministic information"   [1987]

Došen, Kosta  

Furs, S.N., "Syllogistics of some theories" - Z. Math. Logik Grundlag. Math. 33 (1987), no.1, 31-42.   [1988]

Došen, Kosta  

Nogina, E. Yu. "Classes of arithmetic companions of modal provability logics" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1990, no.1, 31-33; translation in Moscow Univ. Math. Bull. 45 (1990), no.1, 31-33.   [1991]

Došen, Kosta  

Lewis, David "Relevant implication" - Theoria 54 (1988), no.3, 162-174.   [1990]

Došen, Kosta  

Fitting, Melvin "Notes on the mathematical aspects of Kripke's theory of truth"   [1987]

Došen, Kosta  

Filters

By type