Researchers

Results 201-220 of 221
Issue DateTitleAuthor(s)TypeМp-cat.
1985Malyaukene, 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
1985Ratsa, M.F., "Functional completeness in modal logic" - Izv. Akad. Nauk Moldav. SSR Ser. Fiz.-Tekhn. Mat. Nauk 1983, no.2, 37-39Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1985Conservativeness and uniquenessDošen, Kosta  ; Schroeder-Heister, PeterArticle
Mp. category will be shown later
1985A Completeness Theorem for the Lambek Calculus of Syntactic CategoriesDošen, Kosta  Article
Mp. category will be shown later
1985Malyaukene, Liviya "Free variable additive arithmetic with restricted difference" - Mat. Logika Primenen. no.2 (1982), 31-40.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1985Chellas, Brian F. (3-CALG) $KG\sp{k,l,m,n}$ and the EFMP. - Logique et Anal. (N.S.) 26 (1983), no.103-104, 255-262Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1985Anshakov, O.M.; Rychkov, S.V. "Axiomatization of finite-valued logical calculi" - Mat. Sb. (N.S.) 123(165) (1984), no.4, 477-495.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1985Sequent-systems for modal logicDošen, Kosta  Article
21M21
1984Negative modal operators in intuitionistic logicDošen, Kosta  Article
Mp. category will be shown later
1984Intuitionistic double negation as a necessity operatorDošen, Kosta  Article
Mp. category will be shown later
1984Models for normal intuitionistic modal logicsBožić, Milan; Došen, Kosta  Article
Mp. category will be shown later
1984A puzzle about logical equivalenceDošen, Kosta  Article
Mp. category will be shown later
1983Models for normal intuitionistic modal logicsDošen, Kosta  ; Božić, MilanArticle
Mp. category will be shown later
1983Axiomatizations of intuitionistic double negationDošen, Kosta  ; Božić, MilanArticle
Mp. category will be shown later
1983Is it good to make others do something good?Došen, Kosta  Article
Mp. category will be shown later
1981Minimal modal system in which heyting and classical logic can be embeddedDošen, Kosta  Article
Mp. category will be shown later
1981A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logicDošen, Kosta  Article
Mp. category will be shown later
1981A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logicDošen, Kosta  Article
Mp. category will be shown later
1980Logical Constants: An Essay in Proof TheoryDošen, Kosta  Doctoral theses
70M70
1978A note on the law of identity and the converse parry propertyDošen, Kosta  Article
Mp. category will be shown later