Došen, Kosta

Type

Date issued

81 2000 - 2027
140 1000 - 1999

Mp-cat.

119 M20/M50
31 М30/М60
30 M22
28 M10/M40
6 M21
3 M21a
3 M23
1 M70

Date issued - custom

Year from:

Year to:

Results 201-220 of 221 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
1985	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Article	Mp. category will be shown later
1985	Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1985	An intuitionistic sheffer function	Došen, Kosta	Article	Mp. category will be shown later
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	Contribution to periodical	Mp. category will be shown later
1985	Models for stronger normal intuitionistic modal logics	Došen, Kosta	Article	Mp. category will be shown later
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	Contribution to periodical	Mp. category will be shown later
1985	Sequent-systems for modal logic	Došen, Kosta	Article	21M21
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	Contribution to periodical	Mp. category will be shown later
1984	Negative modal operators in intuitionistic logic	Došen, Kosta	Article	Mp. category will be shown later
1984	A puzzle about logical equivalence	Došen, Kosta	Article	Mp. category will be shown later
1984	Models for normal intuitionistic modal logics	Božić, Milan; Došen, Kosta	Article	Mp. category will be shown later
1984	Intuitionistic double negation as a necessity operator	Došen, Kosta	Article	Mp. category will be shown later
1983	Axiomatizations of intuitionistic double negation	Došen, Kosta ; Božić, Milan	Article	Mp. category will be shown later
1983	Models for normal intuitionistic modal logics	Došen, Kosta ; Božić, Milan	Article	Mp. category will be shown later
1983	Is it good to make others do something good?	Došen, Kosta	Article	Mp. category will be shown later
1981	Minimal modal system in which heyting and classical logic can be embedded	Došen, Kosta	Article	Mp. category will be shown later
1981	A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic	Došen, Kosta	Article	Mp. category will be shown later
1981	A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic	Došen, Kosta	Article	Mp. category will be shown later
1980	Logical Constants: An Essay in Proof Theory	Došen, Kosta	Doctoral theses	70M70
1978	A note on the law of identity and the converse parry property	Došen, Kosta	Article	Mp. category will be shown later