Došen, Kosta

Тип

Година

81 2000 - 2027
140 1901 - 1999

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 181-200 од 221 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
1987	Rauszer, Cecylia "Formalizations of certain intermediate logics I" - Methods in math. logic (Caracas, 1983), 360-384. lecture notes in Math., 1130,Springer, Berlin, 1985.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Yablo, Stephen "Truth and reflection" - J. Philos. Logic 14 (1985), no.3, 297-349.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Seldin, Jonathan P. "On the proof theory of the intermediate logic MH" - J. Symbolic Logic 51 (1986), no.3, 626-647.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Higher-level sequent-system for intuitionistic modal logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal duality theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1986	Šikić, Z. "Multiple forms of Gentzen's rules and some intermediate logics" - Z. Math. Logik Grundlag. Math. 30 (1984), no.4, 335-338.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Muravitskii, A.Yu. "A result on the completeness of superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 765-776, 779.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Alves, Elias H. "Paraconsistent logic and model theory" - Studia Logica 43 (1984), no.1-2, 17-32.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Wojtylak, Piotr "Collapse of a class of infinite disjunctions in intuitionistic propositional logic" - Rep. Math. Logic no.16 (1983), 37-49.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Yashin, A.D. "Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, no.5, 12-15.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Drugush, Ya.M. "Finite approximability of forest superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 755-764, 799	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Hilbertovi problemi i logika	Mijajlović, Žarko; Marković, Zoran; Došen, Kosta	Монографија	Мп категорија ће бити приказана накнадно.
1986	Negation as a modal operator	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal translations and intuitionistic double negation	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	Conservativeness and uniqueness	Došen, Kosta ; Schroeder-Heister, Peter	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	An intuitionistic sheffer function	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	Krivtsov, V.N. "A type of formal negationless system" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, no.2, 27-31.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.