Pretraga




Rezultati

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  

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

Došen, Kosta  

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  

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  

Weston, S. Thomas, "Approximate truth" - J. Philos. Logic 16 (1987), no.2, 203-227.   [1988]

Došen, Kosta  

Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114.   [1988]

Došen, Kosta  

Brady, Ross T. "Gentzenization and decidability of some contractionless relevant logics" - J. Philos. Logic 20 (1991), no.1, 97-117.   [1992]

Došen, Kosta  

Muravitskii, A.Yu. "A result on the completeness of superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 765-776, 779.   [1986]

Došen, Kosta  

Alves, Elias H. "Paraconsistent logic and model theory" - Studia Logica 43 (1984), no.1-2, 17-32.   [1986]

Došen, Kosta  

Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990.   [1991]

Došen, Kosta  

Filters

By type