Претрага




Резултати

Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651.   [1987]

Došen, Kosta  

Polloc, John L. "The foundations of philosophical semantics" - Princeton University Press, Princeton. NJ, 1984. x+242pp. ISBN 0-691-07283-3   [1989]

Došen, Kosta  

Bazhanov, V.A. "On the sources of modern nonclassical logic" - Patterns in the development of modern mathematics, 201-208, "Nauka", Moscow, 1987.   [1989]

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  

Valentini, Silvio "The sequent calculus for the modal logic D." - Boll. Un. Mat. Ital. A(7) 7 (1993), no.3, 455-460.   [1994]

Došen, Kosta  

Šikić, Z. "Multiple forms of Gentzen's rules and some intermediate logics" - Z. Math. Logik Grundlag. Math. 30 (1984), no.4, 335-338.   [1986]

Došen, Kosta  

Vuillemin, Jules "Two examples of the application of axiomatization to philosophy: the analysis of movement by Zeno and the analysis of freedom by Diodorus Cronus" - Fund. Sci. 6 (1985), no.3, 209-219.   [1987]

Došen, Kosta  

Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271.   [1987]

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  

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

Došen, Kosta  

Филтери

По типу