Results for 'Nonclassical mathematical logic'

995 found
Order:
  1.  52
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985. [REVIEW]J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987
     
    Export citation  
     
    Bookmark  
  3. Mathematical Logic.Arch Math Logic - 2003 - Archive for Mathematical Logic 42:563-568.
     
    Export citation  
     
    Bookmark  
  4.  27
    Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  5. Non-Classical Logics, Model Theory, and Computability Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa - 1977
  6. [Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski & Rautenberg - 1987
     
    Export citation  
     
    Bookmark  
  7. An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
    This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   67 citations  
  8. An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
     
    Export citation  
     
    Bookmark   61 citations  
  9.  46
    Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge University Press.
    This is the first introductory textbook on non-classical propositional logics.
    Direct download  
     
    Export citation  
     
    Bookmark   64 citations  
  10. Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos - 2019 - Transversal: International Journal for the Historiography of Science 6:49-64.
    K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. Nonclassical Logics and Information Processing International Workshop, Berlin, Germany, November 9-10, 1990 : Proceedings. [REVIEW]David A. Pearce, H. Wansing & All-Berlin Workshop on Nonclassical Logics and Information Processing - 1992
     
    Export citation  
     
    Bookmark  
  12. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. (...)
  13.  41
    A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
    A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
    Direct download  
     
    Export citation  
     
    Bookmark   46 citations  
  14.  69
    Mathematical Logic.Stephen Cole Kleene - 1967 - Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  15. Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.
    INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  16.  33
    Mathematical Logic.Ian Chiswell - 2007 - Oxford University Press.
    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  56
    First Course in Mathematical Logic.Patrick Suppes - 1964 - Dover Publications.
    This introduction to rigorous mathematical logic is simple enough in both presentation and context for students of a wide range of ages and abilities. Starting with symbolizing sentences and sentential connectives, it proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. Throughout the book, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  27
    Mathematical Logic.Heinz-Dieter Ebbinghaus - 1996 - Springer.
    This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  19. Mathematical Logic: A First Course.Joel W. Robbin - 1969 - Dover Publications.
    Suitable for advanced undergraduates and graduate students from diverse fields and varying backgrounds, this self-contained course in mathematical logic features numerous exercises that vary in difficulty. The author is a Professor of Mathematics at the University of Wisconsin.
     
    Export citation  
     
    Bookmark   12 citations  
  20.  50
    A Concise Introduction to Mathematical Logic.Wolfgang Rautenberg - 2006 - Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  76
    Popular Lectures on Mathematical Logic.Hao Wang - 1981 - Dover Publications.
    Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  36
    The Elements of Mathematical Logic.Paul C. Rosenbloom - 1950 - New York]Dover Publications.
    An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction that also illustrates applications to so-called undecidability and incompleteness theorems. Other topics include the simple proof of the completeness of the theory of combinations, Church's (...)
  23.  67
    What is Mathematical Logic?John N. Crossley (ed.) - 1972 - Dover Publications.
    This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  14
    Rudimentos de lógica matemática.Lorenzo Peña (ed.) - 1991 - Libros CSIC.
    A systematic introduction to mathematical logic which does not take classical logic for granted. The books develops a system of contradictorial gradualistic logic.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25.  28
    Mathematical Logic for Computer Science.M. Ben-Ari - 1993 - Prentice-Hall.
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
    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.
     
    Export citation  
     
    Bookmark  
  27.  52
    Mathematical Logic and Model Theory: A Brief Introduction.A. Prestel - 2011 - Springer.
    Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Mathematical Logic and its Applications.Dimiter Genchev Skordev, Kurt Gödel & Advanced International Summer School and Conference on Mathematical Logic and Its Applications - 1987
     
    Export citation  
     
    Bookmark  
  29. Mathematical Logic with Special Reference to the Natural Numbers.S. W. P. Steen - 1972 - Cambridge University Press.
    This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in (...)
     
    Export citation  
     
    Bookmark  
  30.  89
    Introduction to Mathematical Logic.Michał Walicki - 2012 - World Scientific.
    A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or (...)
  32.  25
    Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, Mass., Addison-Wesley Pub. Co..
  33.  57
    A Mathematical Introduction to Logic.Herbert B. Enderton - 1972 - New York: Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  34.  86
    Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
  35.  59
    An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
  36. Introduction to Mathematical Logic.ALONZO CHURCH - 1956 - Princeton: Princeton University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
  37.  72
    Introduction to Mathematical Logic.Elliott Mendelson - 1964 - Princeton: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   93 citations  
  38. Basic Principles of Mathematical Logic.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    This book concisely states the main laws and precepts of formal logic along with their immediate corollaries. Commentary is kept to a minimum.
     
    Export citation  
     
    Bookmark  
  39.  66
    The Two-Valued Iterative Systems of Mathematical Logic.Emil Leon Post - 1941 - London: Oxford University PRess.
    INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...
  40.  35
    Mathematical Fuzzy Logic – What It Can Learn From Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.
    Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  12
    Introduction to Elementary Mathematical Logic.A. A. Stoli͡ar - 1984 - Dover Publications.
    Lucid, non-intimidating presentation of propositional logic, propositional calculus and predicate logic by Russian scholar. Topics of concern in a variety of fields, including computer science, systems analysis, linguistics, etc. Accessible to high school students; valuable review of fundamentals for professionals. Exercises (no solutions). Preface. Three appendices. Indices. Bibliogaphy. 14 figures.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  45
    Mathematical Logic.J. Donald Monk - 1976 - Springer Verlag.
    " There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
  43.  60
    Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
  44.  44
    Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, US$141.00, Pp. XI + 282, ISBN 0-306-47712-2, Hardbound. [REVIEW]Ewa Palka - 2005 - Studia Logica 81 (2):283-292.
  45.  46
    Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, Us$141.00, Pp. XII + 282, Isbn 0-306-47712-2, Hardbound. [REVIEW]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
  46.  55
    Handbook of Mathematical Logic.Jon Barwise (ed.) - 1977 - North-Holland.
  47.  87
    Principles of Mathematical Logic.David Hilbert - 1950 - Ams Chelsea.
    Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
  48.  16
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - D. Reidel Pub. Co..
  49.  48
    Elements of Mathematical Logic.Jan Łukasiewicz - 1963 - New York: Macmillan.
  50.  14
    Elements of Mathematical Logic: Model Theory.Georg Kreisel - 1967 - Amsterdam: North Holland Pub. Co..
1 — 50 / 995