Došen, Kosta

Type

Date issued

81 2000 - 2027
140 1900 - 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 181-200 of 221 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
1987	Problem section - Problem 27	Došen, Kosta	Article	Mp. category will be shown later
1987	Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Antipenko, L.G."The problem of incompleteness of a theory and its epistemological significance" - "Nauka", Moscow, 1986., 224pp. 1.20r."	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Materna, Pavel "'Linguistic constructions' in the transparent intensional logic" - Prague Bull. Math. Linguist. no. 43 (1985), 5-24.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic	Došen, Kosta	Article	Mp. category will be shown later
1986	Negation as a modal operator	Došen, Kosta	Article	Mp. category will be shown later
1986	Hilbertovi problemi i logika	Mijajlović, Žarko; Marković, Zoran; Došen, Kosta	Monograph	Mp. category will be shown later
1986	Higher-level sequent-system for intuitionistic modal logic	Došen, Kosta	Article	Mp. category will be shown later
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	Contribution to periodical	Mp. category will be shown later
1986	Muravitskii, A.Yu. "A result on the completeness of superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 765-776, 779.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1986	Alves, Elias H. "Paraconsistent logic and model theory" - Studia Logica 43 (1984), no.1-2, 17-32.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1986	Modal duality theory	Došen, Kosta	Conference Paper	Mp. category will be shown later
1986	Modal translations and intuitionistic double negation	Došen, Kosta	Article	Mp. category will be shown later
1986	Drugush, Ya.M. "Finite approximability of forest superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 755-764, 799	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
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	Contribution to periodical	Mp. category will be shown later
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	Contribution to periodical	Mp. category will be shown later
1985	Sequent-systems for modal logic	Došen, Kosta	Article	21M21
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	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Article	Mp. category will be shown later