Search results for 'Logic Congresses' (try it on Scholar)

1000+ found
Sort by:
  1. Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.) (1989). Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.score: 54.0
    The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) (1994). Logic, Methodology, and Philosophy of Science Ix: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991. [REVIEW] Elsevier.score: 48.0
    This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Ruth Barcan Marcus, Georg Dorn & Paul Weingartner (eds.) (1986). Logic, Methodology, and Philosophy of Science, Vii: Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 45.0
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. H. Wansing (ed.) (1996). Proof Theory of Modal Logic. Kluwer.score: 42.0
    Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. L. Jonathan Cohen (ed.) (1982). Logic, Methodology, and Philosophy of Science Vi: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.score: 42.0
  6. Radu J. Bogdan & Ilkka Niiniluoto (eds.) (1973). Logic, Language, and Probability. Boston,D. Reidel Pub. Co..score: 39.0
    AN INTENSIONAL INTERPRETATION OF TRUTH-VALUES* 1. Introduction In a profound and seminal paper of 1956 'Begrundung einer strengen Implikation', JSL), ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. A. Fuhrmann & Hans Rott (eds.) (1996). Logic, Action, and Information: Essays on Logic in Philosophy and Artificial Intelligence. W. De Gruyter.score: 39.0
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Eva Ejerhed & Sten Lindström (eds.) (1997). Logic, Action, and Cognition: Essays in Philosophical Logic. Kluwer Academic.score: 39.0
  9. J. P. Cleave & Stephan Körner (eds.) (1976). Philosophy of Logic: Papers and Discussions. University of California Press.score: 39.0
    ... est nomen quam Ontologiae. Christian Wolff The title of my paper can be taken to presuppose that there is something which is called ontology, ....
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Imre Lakatos (ed.) (1968). The Problem of Inductive Logic. Amsterdam, North Holland Pub. Co..score: 39.0
  11. Ayda I. Arruda, Newton C. A. Costdaa & R. Chuaqui (eds.) (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW] Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.score: 39.0
  12. Ignacio Angelelli & María Cerezo (eds.) (1996). Studies on the History of Logic: Proceedings of the Iii. Symposium on the History of Logic. Walter De Gruyter.score: 39.0
  13. Andrea Bonarini (ed.) (1996). New Trends in Fuzzy Logic: Proceedings of the Wilf '95, Italian Workshop on Fuzzy Logic, Naples, Italy, 21-22 September 1995. [REVIEW] World Scientific.score: 39.0
     
    My bibliography  
     
    Export citation  
  14. Hermann Bondi, Wolfgang Yourgrau & Allen duPont Breck (eds.) (1970). Physics, Logic, and History. New York,Plenum Press.score: 39.0
  15. L. Jonathan Cohen & Mary B. Hesse (eds.) (1980). Applications of Inductive Logic: Proceedings of a Conference at the Queen's College, Oxford 21-24, August 1978. Oxford University Press.score: 39.0
     
    My bibliography  
     
    Export citation  
  16. Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) (1979). Proceedings From 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979. Distruberet Af Aalborg Universitetsforlag.score: 39.0
     
    My bibliography  
     
    Export citation  
  17. V. N. Jha (ed.) (1997). Jaina Logic and Epistemology. Sri Sadguru Publications.score: 39.0
     
    My bibliography  
     
    Export citation  
  18. Jacek K. Kabziński (ed.) (1980). Proceedings of the 24-Th Conference on the History of Logic, Cracow, April 28-30, 1978. Jagiellonian University Press.score: 39.0
     
    My bibliography  
     
    Export citation  
  19. Stig Kanger (ed.) (1975). Proceedings of the Third Scandinavian Logic Symposium. American Elsevier.score: 39.0
     
    My bibliography  
     
    Export citation  
  20. P. Osmund Lewry (ed.) (1983). The Rise of British Logic: Acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983. [REVIEW] Pontifical Institute of Mediaeval Studies.score: 39.0
  21. Edgar Morscher, Johannes Czermak & Paul Weingartner (eds.) (1974/1977). Problems in Logic and Ontology. Akadem. Druck- U. Verlagsanst..score: 39.0
     
    My bibliography  
     
    Export citation  
  22. Jerzy Perzanowski (ed.) (1987). Essays on Philosophy and Logic: Proceedings of the Xxxth Conference on the History of Logic, Dedicated to Roman Suszko, Cracow, October 19-21, 1984. [REVIEW] Jagiellonian University Press.score: 39.0
  23. G. H. von Wright (ed.) (1980). Logic and Philosophy. Distribution for the U.S. And Canada, Kluwer Boston.score: 39.0
  24. Patrick Suppes (ed.) (1973). Logic, Methodology and Philosophy of Science. New York,American Elsevier Pub. Co..score: 36.0
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) (1995). Advances in Linear Logic. Cambridge University Press.score: 36.0
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear (...) held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. (shrink)
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Joachim Stolz (1996). Bericht: 10th International Congress of Logic, Methodology and Philosophy of Science (August 19–25, 1995; Florence, Italy). [REVIEW] Journal for General Philosophy of Science 27 (1):167-170.score: 36.0
    The International Union of History and Philosophy of Science organizing the 10th International Congress of Logic, Methodology and Philosophy of Science is at its cross-road: the alternative is mass-performance or creative exchange of ideas. The program is criticized because the thematic center in History and Philosophy of Science has been shifted too far into the realm of micro-fields of Logic and the time reduction for presentation and discussion of papers to 20 minutes should be reconsidered. Several outstanding papers (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. S. B. Cooper & J. K. Truss (eds.) (1999). Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.score: 36.0
    Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) (1995). Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Centro de Lógica, Epistemologia e História da Ciência, Unicamp.score: 36.0
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Yehoshua Bar-Hillel (ed.) (1965). Logic, Methodology and Philosophy of Science. Amsterdam, North-Holland Pub. Co..score: 36.0
     
    My bibliography  
     
    Export citation  
  30. Yehoshua Bar-Hillel (ed.) (1970). Mathematical Logic and Foundations of Set Theory. Amsterdam,North-Holland Pub. Co..score: 33.0
    LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. E. M. Barth & J. L. Martens (eds.) (1982). Argumentation: Approaches to Theory Formation: Containing the Contributions to the Groningen Conference on the Theory of Argumentation, October 1978. Benjamins.score: 33.0
    The contributions in the first part Re-modelling logic of this volume take account of formal logic in the theory of rational argumentation.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Jens Erik Fenstad (ed.) (1971). Proceedings of the Second Scandinavian Logic Symposium. Amsterdam,North-Holland Pub. Co..score: 33.0
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costdaa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.score: 33.0
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Hayward R. Alker (ed.) (1982). Dialectical Logics for the Political Sciences. Rodopi.score: 33.0
     
    My bibliography  
     
    Export citation  
  35. C.-T. Chong & M. J. Wicks (eds.) (1983). Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 33.0
     
    My bibliography  
     
    Export citation  
  36. John Corcoran (ed.) (1974). Ancient Logic and its Modern Interpretations. Boston,Reidel.score: 33.0
  37. John N. Crossley (ed.) (1975). Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia. Springer-Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  38. Wilfrid Hodges (ed.) (1972). Conference in Mathematical Logic, London '70. New York,Springer-Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  39. Jakob Hoepelman (ed.) (1988). Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  40. M. Lerman, J. H. Schmerl & R. I. Soare (eds.) (1981). Logic Year 1979-80, the University of Connecticut, Usa. Springer-Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  41. A. R. D. Mathias & H. Rogers (eds.) (1973). Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  42. George Metakides (ed.) (1982). Patras Logic Symposion: Proceedings of the Logic Symposion Held at Patras, Greece, August 18-22, 1980. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..score: 33.0
     
    My bibliography  
     
    Export citation  
  43. G. H. Müller, Arnold Oberschelp & Karl Potthoff (eds.) (1975). Isilc Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974. Springer-Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  44. G. H. Müller, Gaisi Takeuti & T. Tugué (eds.) (1981). Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. [REVIEW] Springer-Verlag.score: 33.0
     
    My bibliography  
     
    Export citation  
  45. Gabriel V. Orman (ed.) (1991). Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 Mai 1991. Society of Mathematics Sciences.score: 33.0
  46. Jan Pinborg (ed.) (1976). The Logic of John Buridan: Acts of the 3rd European Symposium on Medieval Logic and Semantics, Copenhagen 16.-21. November 1975. [REVIEW] [Institut for Klassisk Filologi].score: 33.0
  47. V. M. Abrusci, Ettore Casari & Massimo Mugnai (eds.) (1983). Atti Del Convegno Internazionale Di Storia Della Logica: San Gimignano, 4-8 Dicembre 1982. Clueb.score: 30.0
     
    My bibliography  
     
    Export citation  
  48. C. Böhm (ed.) (1975). [Lambda]-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975. Springer-Verlag.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  49. Daya Krishna (ed.) (1991). Saṃvāda, a Dialogue Between Two Philosophical Traditions. Indian Council of Philosophical Research in Association with Motilal Banarsidass Publishers.score: 30.0
     
    My bibliography  
     
    Export citation  
  50. H. Wansing (ed.) (1996). Negation: A Notion in Focus. W. De Gruyter.score: 30.0
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000