Classical Logic

An Introduction to Non-Classical Logic: From If to Is (repost)  eBooks & eLearning

Posted by libr at May 18, 2017
An Introduction to Non-Classical Logic: From If to Is (repost)

An Introduction to Non-Classical Logic: From If to Is by Graham Priest
English | 2008 | ISBN: 0521854334 | 646 pages | PDF | 2,9 MB

Essays on Non-classical Logic: v. 1  eBooks & eLearning

Posted by nebulae at Jan. 19, 2015
Essays on Non-classical Logic: v. 1

Heinrich Wansing, "Essays on Non-classical Logic: v. 1"
English | ISBN: 9810247354 | 2001 | 276 pages | PDF | 12 MB

Logic of Mathematics: A Modern Course of Classical Logic (Repost)  eBooks & eLearning

Posted by nebulae at May 15, 2014
Logic of Mathematics: A Modern Course of Classical Logic (Repost)

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
English | 1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

An Introduction to Non-Classical Logic: From If to Is (repost)  eBooks & eLearning

Posted by interes at Jan. 16, 2014
An Introduction to Non-Classical Logic: From If to Is (repost)

An Introduction to Non-Classical Logic: From If to Is by Graham Priest
English | 2008 | ISBN: 0521854334 | 646 pages | PDF | 2,9 MB

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.

Logic of Mathematics: A Modern Course of Classical Logic  eBooks & eLearning

Posted by arundhati at Aug. 2, 2013
Logic of Mathematics: A Modern Course of Classical Logic

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Logic for Applications  eBooks & eLearning

Posted by AvaxGenius at May 20, 2018
Logic for Applications

Logic for Applications By Anil Nerode
English | PDF | 1997 | 466 Pages | ISBN : 1461268559 | 92.78 MB

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re­ cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics.

Logic for Applications  eBooks & eLearning

Posted by AvaxGenius at May 6, 2018
Logic for Applications

Logic for Applications By Anil Nerode
English | PDF | 1997 | 466 Pages | ISBN : 1461268559 | 92.78 MB

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re­ cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics.
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics by Enrico Martino
English | PDF,EPUB | 2018 | 173 Pages | ISBN : 3319743562 | 5.04 MB

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism.

Three Views of Logic: Mathematics, Philosophy, and Computer Science (Repost)  eBooks & eLearning

Posted by roxul at Jan. 8, 2018
Three Views of Logic: Mathematics, Philosophy, and Computer Science (Repost)

Donald W. Loveland, Richard E. Hodel, S. G. Sterrett, "Three Views of Logic: Mathematics, Philosophy, and Computer Science"
English | ISBN: 0691160449 | 2014 | 344 pages | PDF | 10 MB

The Logical Legacy of Nikolai Vasiliev and Modern Logic  eBooks & eLearning

Posted by AvaxGenius at Nov. 22, 2017
The Logical Legacy of Nikolai Vasiliev and Modern Logic

The Logical Legacy of Nikolai Vasiliev and Modern Logic By Vladimir Markin
English | PDF,EPUB | 2017 | 221 Pages | ISBN : 3319661604 | 7.22 MB

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions.