Consequence Relations - An Introduction to the Lindenbaum-Tarski Method

An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.

Sommario

• 1: Introduction


• 2: Preliminaries


• 3: Sentential Formal Languages


• 4: Logical Consequences


• 5: Matrix Consequences


• 6: Unital Abstract Logics


• 7: Equational Consequence


• 8: Equational L-Consequence


• 9: Q-Consequence


• 10: Decidability


• Bibliography


• Index

Info autore

Dr Alex Citkin is the CIO of Metropolitan Telecommunications, New York. Before joining Metropolitan Telecommunications he was Director of Research and Development of EDI Corporation New York.

Dr Alexei Muravitsky is Professor of Mathematics at Louisiana Scholars' College at Northwestern State University of Louisiana. From 1980 to 1991 he was a Senior Research Scientist at the Institute of Mathematics and Computer Science of the Academy of Sciences of the Moldovan SSR and from 1992 to 1999 he was a Visiting Member at the Courant Institute of Mathematical Sciences at New York University.

Riassunto

An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.

Dettagli sul prodotto

• Autori: Alex Citkin, Alex (Cio Citkin, Citkin Muravitsky, Alexei Muravitsky
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 31.07.2022
• EAN: 9780192866417
• ISBN: 978-0-19-286641-7
• Pagine: 352
• Serie: Oxford Logic Guides
• Categorie: Libri per bambini e per ragazzi > Saggi / saggi illustrati > Scienze naturali, tecnica; Scienze naturali, medicina, informatica, tecnica > Matematica > Tematiche generali, enciclopedie; Algebra, MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, MATHEMATICS / Algebra / General, MATHEMATICS / Set Theory, Philosophy of Mathematics, Mathematical logic, Set theory