Use of abstraction and logic in mathematics
eBook - PDF

Use of abstraction and logic in mathematics

  1. 421 pages
  2. English
  3. PDF
  4. Available on iOS & Android
eBook - PDF

Use of abstraction and logic in mathematics

About this book

"The Use of Abstraction and Logic in Mathematics" is an edited book consisting of 16 contemporaneous open-access articles that are essentially devoted to mathematical logic research, from classical to non-classical logical systems, from algebraic logic to fuzzy logic. The book addresses the following mathematical logic topics: first-order and higher-order logic; as well as infinitary, description, modal; fixed-point, algebraic and fuzzy logic. This book also includes examples of practical applications of logical systems in link prediction and image processing tasks, as well as in the training of neural networks and artificial intelligence. The intended audience of this book is undergraduate and graduate students, as well as junior researchers. Familiarity with first-order and higher-order logics, as well as set theory, and algebra is essential to grasp the concepts and methods described in this book.

Frequently asked questions

Yes, you can cancel anytime from the Subscription tab in your account settings on the Perlego website. Your subscription will stay active until the end of your current billing period. Learn how to cancel your subscription.
No, books cannot be downloaded as external files, such as PDFs, for use outside of Perlego. However, you can download books within the Perlego app for offline reading on mobile or tablet. Learn more here.
Perlego offers two plans: Essential and Complete
  • Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
  • Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Both plans are available with monthly, semester, or annual billing cycles.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes! You can use the Perlego app on both iOS or Android devices to read anytime, anywhere — even offline. Perfect for commutes or when you’re on the go.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Yes, you can access Use of abstraction and logic in mathematics by Olga Moreira in PDF and/or ePUB format, as well as other popular books in Mathematics & Logic in Mathematics. We have over one million books available in our catalogue for you to explore.

Information

Publisher
Arcler Press
Year
2023
eBook ISBN
9781774697009
Topic
Mathematics
Subtopic
Logic in Mathematics
Index
Mathematics

Table of contents

  1. Cover
  2. Title Page
  3. Copyright
  4. DECLARATION
  5. ABOUT THE EDITOR
  6. TABLE OF CONTENTS
  7. List of Contributors
  8. List of Abbreviations
  9. Preface
  10. Chapter 1 Classical Logic and Quantum Logic with Multiple and Common Lattice Models
  11. Chapter 2 A Novel Categorical Approach to Semantics of Relational First-Order Logic
  12. Chapter 3 Infinitary Classical Logic: Recursive Equations and Interactive Semantics
  13. Chapter 4 Formalization of Linear Space Theory in the Higher-Order Logic Proving System
  14. Chapter 5 Language and Proofs for Higher-Order SMT (Work in Progress)
  15. Chapter 6 Alternation Is Strict For Higher-Order Modal Fixpoint Logic
  16. Chapter 7 Bisimulation in Inquisitive Modal Logic
  17. Chapter 8 Graphical Sequent Calculi for Modal Logics
  18. Chapter 9 Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
  19. Chapter 10 Fuzzy Logic versus Classical Logic: An Example in Multiplicative Ideal Theory
  20. Chapter 11 Link Prediction Using A Probabilistic Description Logic
  21. Chapter 12 Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
  22. Chapter 13 Formal Analysis of 2D Image Processing Filters using Higher-order Logic Theorem Proving
  23. Chapter 14 GRAN3SAT: Creating Flexible Higher-Order Logic Satisfiability in the Discrete Hopfield Neural Network
  24. Chapter 15 Design of a Computable Approximate Reasoning Logic System for AI
  25. Chapter 16 On the Possibility of Correct Concept Learning in Description Logics
  26. Index
  27. Back Cover