Researchers



Results 141-160 of 221
Issue DateTitleAuthor(s)TypeМp-cat.
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  Contribution to periodical
Mp. category will be shown later
1990Addenda and corrigenda to "Sequent-system and groupoid models"Došen, Kosta  Article
Mp. category will be shown later
1990Lewis, David "Relevant implication" - Theoria 54 (1988), no.3, 162-174.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
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  Contribution to periodical
Mp. category will be shown later
1990Normal modal logics in which the Heyting propositional calculus can be embeddedDošen, Kosta  Conference Paper
Mp. category will be shown later
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  Contribution to periodical
Mp. category will be shown later
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  Contribution to periodical
Mp. category will be shown later
1990Ceniza, Claro R. "Material implication and entailment" - Notre Dame J. formal logic 29 (1988), no.4, 510-519.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1990Modal translations of Heyting and Peano arithmeticDošen, Kosta  Article
Mp. category will be shown later
1990Seymour, Michel "Référence et identité" - Logique et Anal. (N.S.) 30 (1987), no.120, 353-363.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1989Polloc, John L. "The foundations of philosophical semantics" - Princeton University Press, Princeton. NJ, 1984. x+242pp. ISBN 0-691-07283-3Došen, Kosta  Contribution to periodical
Mp. category will be shown later
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  Contribution to periodical
Mp. category will be shown later
1989Daniels, Charles B. "Nonlogical consequences" - Logique et Anal. (N.S.) 30 (1987), no.119, 283-290.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
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  Contribution to periodical
Mp. category will be shown later
1989Orlowska, Ewa "Entailment based on semantic relevance criteria" - Mat. Logika Primenen. no. 5 (1987), 54-67.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1989Ivlev, Yu. V. "Intensional construction of systems of modal logic" - The logic of scientific knowledge, 159-172, "Nauka", Moscow, 1987.Došen, Kosta  Contribution to periodical
Mp. category will be shown later
1989Sequent-system and groupoid models. IIDošen, Kosta  Article
Mp. category will be shown later
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  Contribution to periodical
Mp. category will be shown later
1989Logical constants as punctuation marksDošen, Kosta  Article
Mp. category will be shown later
1989Duality between modal algebras and neighbourhood framesDošen, Kosta  Article
Mp. category will be shown later