6 votos

Las introducciones a las clásicas y no clásicas de la lógica?

He encontrado Eric Schechter: Clásica y no clásica de la Lógica: Una Introducción a las Matemáticas de las Proposiciones de un muy buen libro. Pero me gustaría descremada a través de otros libros sobre el mismo tema, por el momento, he sido capaz de encontrar solo estas:

Me puede sugerir más libros de introducción a la clásica y no clásica de la lógica?

3voto

user11300 Puntos 116

Merrie Bergmann Una Introducción a Muchos de los Valores y la Lógica Difusa cubre de primer orden clásico, de tres valores, y la lógica difusa (incluyendo secciones sobre la cuantificación de la teoría clásica, de tres valores, y la lógica difusa (fuzzy).

Un clásico de los libros de texto en muchos de los valores de la lógica es Rosser y Turquette de Muchos de los valores de la Lógica.

Gottwald ha Tratado en Muchos de los valores de la Lógica.

Richard L. Epstein libro Proposicional, la Lógicaparece similar a la Schecter en que muchos tipos diferentes de proposicional de la lógica cubiertas.

También puede que desee ver en los papeles... en el volumen polaco Lógica sé que hay un par de artículos de Wajsberg uno de tres valores de la lógica, y otra que todo tipo de diferentes axioma establece para el implicational cálculo de proposiciones.

Yo también recomiendo A. N. Prior de la Lógica Formal (2ª edición), que tiene una muy útil y bastante amplio apéndice de diferentes axioma establece para la lógica de los cálculos. La 2ª apéndice en la 2ª edición también contiene una prueba de que habla acerca de un montón de clásicos implicational cálculos.

Además, es posible que desee ver Ted Ulrich las páginas que abarcan diferentes axioma establece (casi completamente sola axiomas, pero varios axioma establece también te discute) para un par de lógica de los cálculos.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X