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.

Inhaltsverzeichnis

• 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

Über den Autor / die Autorin

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.

Zusammenfassung

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.

Produktdetails

• Autoren: Alex Citkin, Alex (Cio Citkin, Citkin Muravitsky, Alexei Muravitsky
• Verlag: Oxford University Press
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 31.07.2022
• EAN: 9780192866417
• ISBN: 978-0-19-286641-7
• Seiten: 352
• Serie: Oxford Logic Guides
• Themen: Kinder- und Jugendbücher > Sachbücher / Sachbilderbücher > Naturwissenschaft, Technik; Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Allgemeines, Lexika; Algebra, MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, MATHEMATICS / Algebra / General, MATHEMATICS / Set Theory, Philosophy of Mathematics, Mathematical logic, Set theory