Mechanical Logic in Three-Dimensional Space - Image 1

£102.60

Taylor & Francis Mechanical Logic in Three-Dimensional Space

Name: Mechanical Logic in Three-Dimensional Space
Brand: Taylor & Francis
Price: 103.6 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 83 days • 41 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 83 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £104 (24 days, 58.5%)

Price range: £98 - £104

Price levels: 3 different prices over 41 days

Description

The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; three-variable inferences through products, sums, subtractions, and divisions; generalization to n variables; relations; and applications.

Product Specifications

Brand: Taylor & Francis
Format: hardcover
ASIN: 9814411507
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 24 October 2013
Listed Since: 29 October 2012

Barcode

No barcode data available

Taylor & Francis Mechanical Logic in Three-Dimensional Space

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)

A Formalization of Set Theory without Variables (Colloquium Publications)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Temporal Logic - World Scientific Publishing Company Book

Propositional Logics Third Edition

Displaying Modal Logic: 3 (Trends in Logic, 3)

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

Functional Interpretation Of Logical Deduction, The

Dynamic Tractable Reasoning: A Modular Approach to Belief Revision: 420 (Synthese Library, 420)

Logic and Language Models for Computer Science: Third Edition

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Handbook of Spatial Logics

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic

Logic for Applications (Texts in Computer Science)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Propositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches: 77 (Studies in Fuzziness and Soft Computing, 77)

Propositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches: 77 (Studies in Fuzziness and Soft Computing, 77)