Došen, Kosta

Тип

Година

81 2000 - 2027
140 1900 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
1985	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	An intuitionistic sheffer function	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1985	Sequent-systems for modal logic	Došen, Kosta	Научни чланак	21M21 - Водећи међународни часопис категорије M21
1985	Ratsa, M.F., "Functional completeness in modal logic" - Izv. Akad. Nauk Moldav. SSR Ser. Fiz.-Tekhn. Mat. Nauk 1983, no.2, 37-39	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1985	Nishimura Hirokazu, "A cut-free sequential system for the propositional modal logic of finite chains" - Publ. Res. Inst. Math. Sci. 19 (1983), no.1, 305-316	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1985	Models for stronger normal intuitionistic modal logics	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
1984	Negative modal operators in intuitionistic logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1984	Models for normal intuitionistic modal logics	Božić, Milan; Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1984	A puzzle about logical equivalence	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1984	Intuitionistic double negation as a necessity operator	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1983	Models for normal intuitionistic modal logics	Došen, Kosta ; Božić, Milan	Научни чланак	Мп категорија ће бити приказана накнадно.
1983	Axiomatizations of intuitionistic double negation	Došen, Kosta ; Božić, Milan	Научни чланак	Мп категорија ће бити приказана накнадно.
1983	Is it good to make others do something good?	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1981	A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1981	Minimal modal system in which heyting and classical logic can be embedded	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1981	A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1980	Logical Constants: An Essay in Proof Theory	Došen, Kosta	Докторска дисертација	70M70 - Одбрањена докторска дисертација
1978	A note on the law of identity and the converse parry property	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.