Biblioteca Electrónica de Ciencia y Tecnología - Catálogo de publicaciones

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

Introduction: Alternative Logics and Classical Concerns

Johan van Benthem

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part I - Proof, Knowledge and Computation | Pp. 1-7

doi: 10.1007/978-1-4020-5012-7_2

Epistemic Models, Logical Monotony and Substructural Logics

Mikaël Cozic

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part I - Proof, Knowledge and Computation | Pp. 11-23

doi: 10.1007/978-1-4020-5012-7_3

Semantics as Based on Inference

Jaroslav Peregrin

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part I - Proof, Knowledge and Computation | Pp. 25-36

doi: 10.1007/978-1-4020-5012-7_4

Effectiveness

Stewart Shapiro

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part I - Proof, Knowledge and Computation | Pp. 37-49

doi: 10.1007/978-1-4020-5012-7_5

Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?

Joseph Vidal-Rosset

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part I - Proof, Knowledge and Computation | Pp. 51-73

doi: 10.1007/978-1-4020-5012-7_6

Transpositions

Henk Visser

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part I - Proof, Knowledge and Computation | Pp. 75-86

doi: 10.1007/978-1-4020-5012-7_7

Many-Valued and Kripke Semantics

Jean-Yves Béziau

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part II - Truth Values Beyond Bivalence | Pp. 89-101

doi: 10.1007/978-1-4020-5012-7_8

The Logic of Complementarity

Newton C. A. da Costa; Décio Krause

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part II - Truth Values Beyond Bivalence | Pp. 103-120

doi: 10.1007/978-1-4020-5012-7_9

Semantics for Naive Set Theory in Many-Valued Logics

Thierry Libert

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part II - Truth Values Beyond Bivalence | Pp. 121-136

doi: 10.1007/978-1-4020-5012-7_10

Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi

Steve Awodey

The paper describes the way in which a Preference Semantics system for natural language analysis and generation tackles a difficult class of anaphoric inference problems: those requiring either analytic (conceptual) knowledge of a complex sort, or requiring weak inductive knowledge of the course of events in the real world. The method employed converts all available knowledge to a canonical template form and endeavors to create chains of non-deductive inferences from the unknowns to the possible referents. Its method for this is consistent with the overall principle of ‘‘semantic preference’’ used to set up the original meaning representation

Part III - Category-Theoretic Structures | Pp. 139-149

Catálogo de publicaciones - libros

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

Johan van Benthem ; Gerhard Heinzmann ; Manuel Rebuschi ; Henk Visser (eds.)

Resumen/Descripción – provisto por la editorial

Palabras clave – provistas por la editorial

Disponibilidad

Información

Cobertura temática

Filosofía, ética y religión

Tabla de contenidos