Pretraga




Rezultati

Rybakov, V. V. "Problems of substitution and admissibility in the modal system Grz and in intuitionitic propositional calculus" - Ann. pure appl. logic 50 (1990), no.1, 71-106.   [1992]

Došen, Kosta  

Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30.   [1985]

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  

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

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  

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

Došen, Kosta  

Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990.   [1991]

Došen, Kosta  

Valentini, Silvio "The sequent calculus for the modal logic D." - Boll. Un. Mat. Ital. A(7) 7 (1993), no.3, 455-460.   [1994]

Došen, Kosta  

Filteri