Pretraga




Rezultati

Tasić, Milan "Version intuitionniste du calcul des neg.-propositions (prédicats) - Makedon. Akad. Nauk. Umet. Oddel. Mat.-Tehn. Nauk. Prilozi 14 (1993), no.2, 5-12 (1995)   [1997]

Došen, Kosta  

Dyckhoff, Roy "Contraction-free sequent calculi for intuitionistic logic" - J. Symbolic Logic 57 (1992), no.3, 795-807.   [1994]

Došen, Kosta  

Rybakov, Vladimir V. "Intermediate logics preserving admissible inference rules of Heyting calculus" - Math. Logic Quart. 39 (1993), no.3, 403-415.   [1995]

Došen, Kosta  

Popovich, M.V.; Krymskii, S.B.; Ishmuratov, A.T.; Kintsan, V.T.; Vasil'ev, S.A.; Parakhonskii, B.A.; Prilyuk, Yu.D.; Vyatkina, N.B.; Shtern, I.B.; Domb, G.I.; Omel'yanchik, V.I.; Burgin, M.S.; Kuznetsov, V.I. "Proof and understanding" - "Naukova Dumka", Kiev, 1986. 312 pp. 3.00.r.   [1988]

Došen, Kosta  

Takano, Mitio "A sequent calculus for the Leśniewskian modal logic" - Ann. Japan Assoc. Philos. Sci. 8 (1994), no.4, 191-201.   [1995]

Došen, Kosta  

Friedman, Harvey; Sheard, Michael "The equivalence of the disjunction and existence properties for modal arithmetic" - J. Symbolic Logic 54 (1989), no.4, 1456-1459.   [1990]

Došen, Kosta  

Zbrzeźny, Andrzej "The Gentzen type axiomatization of some three-valued propositional logic" - Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 17 (1988), no.2, 70-74.   [1990]

Došen, Kosta  

Bezhanishvili, M. N. "Doxastic propositional system with one modal operator" - Intensional logics and the logical structure of theories, 174-181, "Metsniereba", Tbilisi, 1988"   [1991]

Došen, Kosta  

Yashin, A. D. "Smetanich's logic ... and two definitions of a new intuitionistic connetive" - Mat. Zametki 56 (1994), no.1, 135-142,158.; translation in Math. Notes 56 (1994), no.1-2, 745-750 (1995).   [1995]

Došen, Kosta  

Anshakov, O.M.; Rychkov, S.V. "Axiomatization of finite-valued logical calculi" - Mat. Sb. (N.S.) 123(165) (1984), no.4, 477-495.   [1985]

Došen, Kosta  

Filteri

Po tipu