We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides)
Price data last checked 134 day(s) ago - refreshing...
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
The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For the second part of this problem, the concept of the Lindenbaum-Tarski algebra plays a key role, which becomes even more important when the considered consequence relation is placed in the context of decidability. This role is traced in the book for various formal objective languages. The work also includes helpful exercises to aid the reader's assimilation of the book's material. Intended for advanced undergraduate and graduate students in mathematics and philosophy, this book can be used to teach special courses in logic with an emphasis on algebraic methods, for self-study, and also as a reference work.
Product Specifications
- Format
- hardcover
- ASIN
- 0192866419
- Domain
- Amazon UK
- Release Date
- 29 July 2022
- Listed Since
- 18 February 2022
Barcode
No barcode data available
Similar Products You Might Like
93% match
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
£85.00
08 Mar 2026
93% match
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
£68.02
17 Mar 2026
93% match
A Formalization of Set Theory without Variables (Colloquium Publications)
£84.96
07 Jan 2026
92% match
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
£95.00
20 Feb 2026
92% match
Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)
Oxford University Press
£168.26
12 Jan 2026
92% match
Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)
Springer
£117.08
20 Feb 2026
92% match
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
£105.00
26 Feb 2026
92% match
Modal Logic: An Introduction to its Syntax and Semantics
Oxford University Press
£50.07
15 Feb 2026
92% match
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
£76.68
15 Dec 2025
92% match
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
£90.85
13 Jan 2026
92% match
Introduction to Relation Algebras: Relation Algebras, Volume 1
Springer
£66.23
30 Jan 2026
92% match
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Springer
£90.93
07 Jan 2026
92% match
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
£84.63
10 Jan 2026
92% match
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
£85.45
08 Jan 2026
92% match
Constructive Models (Siberian School of Algebra and Logic)
Springer
£146.67
10 Mar 2026
92% match
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
£71.00
26 Feb 2026
92% match
The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)
Springer
£39.18
08 Mar 2026
92% match
Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)
Springer
£212.92
09 Jan 2026
92% match
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Springer
£89.33
12 Jan 2026
92% match
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Wiley
£133.99
10 Apr 2026
92% match
Logic in High Definition: Trends in Logical Semantics: 56
Springer
£80.77
09 Mar 2026
92% match
Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)
Springer
£84.46
22 Feb 2026
92% match
Logic with Trees: An Introduction to Symbolic Logic
Routledge
£133.39
13 Jan 2026
92% match
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
£42.30
21 Feb 2026