Consequence Relations: An Introduction To The Lindenbaum-Tarski Method-..
R$ 1.037,50
até
4x
de
R$ 259,37
sem juros
ou R$ 985,62
via Pix
Adicionar ao carrinho
Disponibilidade: 45 dias úteis
Estoque: 52 unidades
-
- 1x de R$ 1.037,50 sem juros
- 2x de R$ 518,75 sem juros
- 3x de R$ 345,83 sem juros
- 4x de R$ 259,37 sem juros
-
R$ 985,62
-
R$ 1.037,50
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.
| ISBN | 9780192866417 |
| Autor(a) | Citkin, Alex |
| Editora | Oxford University Press - USA |
| Ano de edição | 2022 |
| Páginas | 352 |
| Acabamento | Capa Dura |
| Dimensões | 24,00 X 16,30 |
Produtos relacionados
-
Introduction To Race Relations-..R$ 763,52R$ 610,82até 4x de R$ 152,70 sem jurosou R$ 580,28 via Pix20% Desconto -
Introduction To Race Relations-..R$ 2.199,50R$ 1.759,60até 4x de R$ 439,90 sem jurosou R$ 1.671,62 via Pix20% Desconto -
The History Of Philosophical And Formal Logic: From Aristotle To Tarski-..R$ 397,99R$ 318,39até 4x de R$ 79,59 sem jurosou R$ 302,47 via Pix20% Desconto
-
Categorias
Pague com
Selos
MYRE EDITORA, COMERCIALIZADORA, IMPORTADORA E DISTRIBUIDORA LTDA - CNPJ: 50.295.718/0001-20 © Todos os direitos reservados. 2026
