Name: propositional logics third edition (en Inglés)
Price: 77310.00 CLP
Availability: InStock
Author: Epstein, Richard L.
ISBN: 9780983452164

portada propositional logics third edition (en Inglés)

Formato

Libro Físico

Autor

Richard L. Epstein

Editorial

Advanced Reasoning Forum

Año

2012

Idioma

Inglés

N° páginas

510

Encuadernación

Tapa Dura

Dimensiones

24.4 x 17.0 x 2.9 cm

Peso

1.01 kg.

ISBN

0983452164

ISBN13

9780983452164

Categorías

Lógica matemática
Lógica

propositional logics third edition (en Inglés)

Richard L. Epstein (Autor) · Advanced Reasoning Forum · Tapa Dura

Libro Nuevo

$ 77.310

$ 128.850

Ahorras: $ 51.540

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 14 de Mayo y el Jueves 23 de Mayo.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "propositional logics third edition (en Inglés)"

Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations of the logics. The view that unifies the exposition is that propositional logics comprise a spectrum. As the aspect of propositions under consideration varies, the logic varies. Each logic is shown to fall naturally within a general framework for semantics. A theory of translations between logics is presented that allows for further comparisons, and necessary conditions are given for a translation to preserve meaning. For this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations. The text includes worked examples and hundreds of exercises, from routine to open problems, making the book with its clear and careful exposition ideal for courses or individual study.