Studies in logic and the foundations of mathematics, ISSN 0049-237X, 1900

Journal

2008, ISBN 0521707579, xii, 329

Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic...

Fuzzy logic | Many-valued logic

Fuzzy logic | Many-valued logic

Book

2009, ISBN 9780521899437, Volume 9780521899437, xx, 483

.... This overview of the field offers a computer science perspective, but also draws on ideas from game theory, economics, operations research, logic, philosophy and linguistics...

Intelligent agents (Computer software) | Distributed processing | Electronic data processing

Intelligent agents (Computer software) | Distributed processing | Electronic data processing

Book

2012, Carl G. Hempel lecture series., ISBN 0691147124, xii, 167

It seems reasonable to believe that there might have existed things other than those that in fact exist, or have existed. But how should we understand such...

Modality (Logic) | Metaphysics | Possibility | HPJ | Language | HPL | Logic | Philosophy | CFA | PHILOSOPHY | Logic, Symbolic and mathematical | Semantics (Philosophy) | Semantics | Necessity (Philosophy)

Modality (Logic) | Metaphysics | Possibility | HPJ | Language | HPL | Logic | Philosophy | CFA | PHILOSOPHY | Logic, Symbolic and mathematical | Semantics (Philosophy) | Semantics | Necessity (Philosophy)

Book

1994, Collected papers of Bertrand Russell, ISBN 0415094062, Volume 4, lii, 743

Book

2014, Princeton studies in complexity, ISBN 9780691158884, Volume 9781400848256, xvi, 249

"The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent...

MATHEMATICS / Applied | MATHEMATICS / Linear Programming | Computer simulation | Social sciences | COMPUTERS / Data Modeling & Design | Mathematical models | SOCIAL SCIENCE / General | MATHEMATICS / Logic | Computers | Cognitive Science | Data Modeling & Design | Science | General | Linear & Nonlinear Programming | Mathematics | Logic | Applied | Social Science | Biological Sciences | Technology | Sociology

MATHEMATICS / Applied | MATHEMATICS / Linear Programming | Computer simulation | Social sciences | COMPUTERS / Data Modeling & Design | Mathematical models | SOCIAL SCIENCE / General | MATHEMATICS / Logic | Computers | Cognitive Science | Data Modeling & Design | Science | General | Linear & Nonlinear Programming | Mathematics | Logic | Applied | Social Science | Biological Sciences | Technology | Sociology

Book

01/2019, Routledge Studies in Nineteenth-Century Philosophy, ISBN 0815396325, 6

The scope and method of logic as we know it today eminently reflect the ground-breaking developments of set theory and the logical foundations of mathematics at the turn of the 20 th century...

Lydia Patton | formalism | Intellectual History | British Algebraists | inference | Hermann Cohen | concept formation | Erich H. Reck | George Boole | German Idealism | Logic - Philosophy | Erich Reck | formal logic | Moore | British Idealists | Frege | analytic philosophy | Mathieu Marion | mathematical logic | 19th Century Philosophy | Kant | anti-psychologism | Graham Priest | Jeremy Heis | history of logic | logicism | Frederick Beiser | Russell | dialetheism | Bolzano | Hegel | Herbart | Consuelo Preti | History of Philosophy | Clinton Tolley | Lotze | Logic-History-19th century | Analysis (Philosophy)

Lydia Patton | formalism | Intellectual History | British Algebraists | inference | Hermann Cohen | concept formation | Erich H. Reck | George Boole | German Idealism | Logic - Philosophy | Erich Reck | formal logic | Moore | British Idealists | Frege | analytic philosophy | Mathieu Marion | mathematical logic | 19th Century Philosophy | Kant | anti-psychologism | Graham Priest | Jeremy Heis | history of logic | logicism | Frederick Beiser | Russell | dialetheism | Bolzano | Hegel | Herbart | Consuelo Preti | History of Philosophy | Clinton Tolley | Lotze | Logic-History-19th century | Analysis (Philosophy)

eBook

2017, Contemporary mathematics, ISBN 9781470422561, Volume 690., xx, 322 pages

Book

2016, ISBN 9813147547, xxvi, 706 pages

Book

2001, ISBN 9780534558468, 412

Book

2010, Perspectives in logic, ISBN 052151729X, xv, 479

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the...

Computational complexity | Constructive mathematics | Proof theory

Computational complexity | Constructive mathematics | Proof theory

Book

2010, ISBN 0199541493, xiv, 281

This book defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances...

Logic, Symbolic and mathematical | Mathematics | Philosophy | Philosophy of Mathematics and Logic | Philosophy of Language | Idealization | Projectivism | Gödel | Platonism | Neo-Fregean | Non-classical logic | Formalism | Fiction | Sense

Logic, Symbolic and mathematical | Mathematics | Philosophy | Philosophy of Mathematics and Logic | Philosophy of Language | Idealization | Projectivism | Gödel | Platonism | Neo-Fregean | Non-classical logic | Formalism | Fiction | Sense

Book

2007, Cambridge introductions to philosophy, ISBN 9780521674539, xiv, 361

.... This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem...

Gödel numbers | Logic, Symbolic and mathematical | Gödel, Kurt

Gödel numbers | Logic, Symbolic and mathematical | Gödel, Kurt

Book

2004, ISBN 0965356418, vii, 38

Book

2006, ISBN 0691123004, xxii, 522

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics...

Logic, Symbolic and mathematical | Semantics (Philosophy) | Mathematics

Logic, Symbolic and mathematical | Semantics (Philosophy) | Mathematics

Book

Foundations of computing and decision sciences, ISSN 0867-6356, 1990

Journal

2005, Foundations and trends in theoretical computer science, ISBN 9781933019147, Volume 1, issue 2 (2005), Issue 2, vi, 126

Book

1987, 2nd, extended ed. --, Symbolic computation. Artificial intelligence., ISBN 9783540181996, xii, 212

Book

2003, 1st ed., Studies in logic and the foundations of mathematics, ISBN 9780444508263, Volume 148, 767

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines...

Modality (Logic)

Modality (Logic)

eBook

No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.