Istraživači

Rezultati 141-160 od 221
GodinaNaslovAutor(i)Tip rezultataMp-kat.
1991Mints, Grigorii "A strengthened normal form theorem for the predicate calculus" - Eesti NSV Tead. Akad. Toimetised Füüs.-Mat. 39 (1990), no.4, 313-324, 405.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1990Addenda and corrigenda to "Sequent-system and groupoid models"Došen, Kosta  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Zbrzeź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.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1990Friedman, Harvey; Sheard, Michael "The equivalence of the disjunction and existence properties for modal arithmetic" - J. Symbolic Logic 54 (1989), no.4, 1456-1459.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1990Normal modal logics in which the Heyting propositional calculus can be embeddedDošen, Kosta  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1990Ceniza, Claro R. "Material implication and entailment" - Notre Dame J. formal logic 29 (1988), no.4, 510-519.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1990Boričić, Branislav R. "On certain normalizable natural deduction formulations of some propositional intermediate logics" - Notre Dame J. Formal Logic 29 (1988), no.4, 563-568.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1990Lewis, David "Relevant implication" - Theoria 54 (1988), no.3, 162-174.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1990Modal translations of Heyting and Peano arithmeticDošen, Kosta  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Seymour, Michel "Référence et identité" - Logique et Anal. (N.S.) 30 (1987), no.120, 353-363.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Daniels, Charles B. "Nonlogical consequences" - Logique et Anal. (N.S.) 30 (1987), no.119, 283-290.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Orlowska, Ewa "Entailment based on semantic relevance criteria" - Mat. Logika Primenen. no. 5 (1987), 54-67.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Ivlev, Yu. V. "Intensional construction of systems of modal logic" - The logic of scientific knowledge, 159-172, "Nauka", Moscow, 1987.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Méndez, José M. Axiomatizing E* and R* with Anderson and Belnap's "strong and natural list of valid entailments" - Polish Acad. Sci. Ins. Philos. Sociol. Bull. Sect Logic 16 (1987), no. 1, 2-10.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Bazhanov, V.A. "On the sources of modern nonclassical logic" - Patterns in the development of modern mathematics, 201-208, "Nauka", Moscow, 1987.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Polloc, John L. "The foundations of philosophical semantics" - Princeton University Press, Princeton. NJ, 1984. x+242pp. ISBN 0-691-07283-3Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Logical constants as punctuation marksDošen, Kosta  Naučni članak
Mp kategorija će biti prikazana naknadno.
1989Duality between modal algebras and neighbourhood framesDošen, Kosta  Naučni članak
Mp kategorija će biti prikazana naknadno.
1989Doichinov Doichin, "The parallel axiom and the continuum hypothesis" - Fiz.-Mat. Spis. Bulgar. Akad. Nauk. 29(62) (1987), no.4, 257-264.Došen, Kosta  Informativni prilog
Mp kategorija će biti prikazana naknadno.
1989Sequent-system and groupoid models. IIDošen, Kosta  Naučni članak
Mp kategorija će biti prikazana naknadno.