Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides) - Image 1

Price loading...

Oxford University Press Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Name: Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)
Brand: Oxford University Press

Algebra

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathematics, philosophy, computer science and linguistics with an interest in algebraic logic, but is also accessible to those from a non-logistics background. It is suitable for researchers, graduates and advanced undergraduates who have an introductory knowledge of algebraic logic providing more advanced concepts, as well as more theoretical aspects. The main theme is that standard algebraic results (representations) translate into standard logical results (completeness). Other themes involve identification of a class of algebras appropriate for classical and non-classical logic studies, including: gaggles, distributoids, partial- gaggles, and tonoids. An imporatant sub title is that logic is fundamentally information based, with its main elements being propositions, that can be understood as sets of information states. Logics are considered in various senses e.g. systems of theorems, consequence relations and, symmetric consequence relations.

Product Specifications

Brand: Oxford University Press
Format: hardcover
ASIN: 0198531923
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 28 June 2001
Listed Since: 06 February 2007

Barcode

No barcode data available

Oxford University Press Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

The Oxford Handbook of Philosophy of Mathematics and Logic

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

Modal Logic: An Introduction to its Syntax and Semantics

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Category Theory: No. 49 (Oxford Logic Guides)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Logic and Algebra: Logic and Algebra: 302 (Contemporary Mathematics)

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Syllogistic Logic and Mathematical Proof

Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium: 27 (Publications of the Austrian Ludwig Wittgenstein Society – New Series, 27)

Symbolic Logic (Palgrave Philosophy Today)