The ¿-Calculus - Milan Tasi¿ D.
-20% with code BOOKS
Shipping in 12-18 days
30-day return policy
The "¿-calculus" is a formal logical system, which as classical one, treats (true and false) assertions in the grounds, but unlike - in the semantic sense - their truth (falsity) values are differently set. Besides, here are of interest only (always) false formulas or negations etc. We formulate a number of formal theorems of the calculus within its "propositional", "predicate" and "arithmetical" versions a ... Full description
You May Also Like
TOP
Determined: The Science of Life Without Free Will
-20% with code BOOKS
In stock at our supplier
TOP
The Rise and Fall of the Dinosaurs: A New History of a Lost World
-20% with code BOOKS
In stock at our supplier
TOP
Factfulness: Ten Reasons We're Wrong About the World--and Why Things Are Better Than You Think
Ola Rosling, Anna Rosling Rönnlund, Hans Rosling
-20% with code BOOKS
In stock at our supplier
TOP
Biology: A Global Approach, Global Edition
Neil Campbell, Rebecca Orr, Lisa Urry, Peter Minorsky, Michael Cain, Jane Reece, Steven Wasserman
-20% with code BOOKS
In stock at our supplier
TOP
Six Not-so-easy Pieces: Einstein's Relativity, Symmetry, and Space-Time
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-20% with code BOOKS
In stock at our supplier
TOP
Entangled Life: How Fungi Make Our Worlds, Change Our Minds and Shape Our Futures
-20% with code BOOKS
In stock at our supplier
TOP
The Light Eaters: How the Unseen World of Plant Intelligence Offers a New Understanding of Life on Earth
-20% with code BOOKS
In stock at our supplier
TOP
The Age of Alchemy: How Early Innovators Shaped Modern Chemistry
-20% with code BOOKS
In stock at our supplier
TOP
The Secrets of our DNA: How Genetics has Changed the World
-20% with code BOOKS
In stock at our supplier
TOP
Janeway's Immunobiology
Leslie J. Berg, Kenneth Murphy, Casey Weaver
-20% with code BOOKS
In stock at our supplier
TOP
Behave: The Biology of Humans at Our Best and Worst
-20% with code BOOKS
In stock at our supplier
TOP
Why We Sleep: Unlocking the Power of Sleep and Dreams
-20% with code BOOKS
In stock
TOP
Why Machines Learn: The Elegant Maths Behind Modern AI
-20% with code BOOKS
In stock at our supplier
TOP
Life As No One Knows It: The Physics of Life's Emergence
-20% with code BOOKS
In stock at our supplier
TOP
The Rise and Reign of the Mammals: A New History, from the Shadow of the Dinosaurs to Us
-20% with code BOOKS
In stock at our supplier
TOP
Learn Faster, Perform Better: A Musician's Guide to the Neuroscience of Practicing
-20% with code BOOKS
In stock at our supplier
TOP
The Brain That Changes Itself: Stories of Personal Triumph from the Frontiers of Brain Science
-20% with code BOOKS
In stock at our supplier
TOP
How to Solve it: A New Aspect of Mathematical Method
-20% with code BOOKS
In stock at our supplier
Description
The "¿-calculus" is a formal logical system, which as classical one, treats (true and false) assertions in the grounds, but unlike - in the semantic sense - their truth (falsity) values are differently set. Besides, here are of interest only (always) false formulas or negations etc. We formulate a number of formal theorems of the calculus within its "propositional", "predicate" and "arithmetical" versions and put forward the (meta-theoretical) requirements for completeness and consistency of these systems. It is shown that they largely "share fate" of classical formalizations: when it is about, say, completeness of the propositional calculus, or the (in)completeness of predicate calculus and formal number theory et al. Finally, we bring a version of this formalism as a sequential calculus, as well as a constructive proof of its consistency (after Gentzen).
More Information
| Author | Milan Tasi¿ D. |
|---|---|
| Publisher | Scholars' Press |
| Release year | 2014 |
| Cover type | Softcover |
| EAN | 9783639664904 |