Catálogo de publicaciones - libros

Compartir en
redes sociales

Logica Universalis: Towards a General Theory of Logic

Jean-Yves Beziau (eds.)

Second Edition.

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Arithmetic and Logic Structures

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2007	SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-7643-8353-4

ISBN electrónico

978-3-7643-8354-1

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

2007

Información sobre derechos de publicación

Cobertura temática

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1007/978-3-7643-8354-1_11

Friendliness and Sympathy in Logic

David Makinson

We define and examine a notion of , which is a broadening of the familiar notion of classical consequence. The concept is studied first in its simplest form, and then in a syntax-independent version, which we call . We also draw attention to the surprising number of familiar notions and operations with which it makes contact, providing a new light in which they may be seen.

Part III - Tools and Concepts for Universal Logic | Pp. 195-224

doi: 10.1007/978-3-7643-8354-1_12

Logical Discrimination

Lloyd Humberstone

We discuss conditions under which the following ‘truism’ does indeed express a truth: the weaker a logic is in terms of what it proves, the stronger it is as a tool for registering distinctions amongst the formulas in its language.

Part III - Tools and Concepts for Universal Logic | Pp. 225-246