Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /

This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far from complete, but broadly representative. The first group of papers in this vo...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Makinson, David (Editor ), Malinowski, Jacek (Editor ), Wansing, Heinrich (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Trends in Logic, Studia Logica Library, 28
Temas:
Mathematical logic.
Mathematics.
Algebra.
Logic.
Computer arithmetic and logic units.
Computational linguistics.
Mathematical Logic and Foundations.
Arithmetic and Logic Structures.
Computational Linguistics.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • From Logic to Mathematical Philosophy
  • Commutativity of Quantifiers in Varying-Domain Kripke Models
  • The Method of Tree-Hypersequents for Modal Propositional Logic
  • All Splitting Logics in the Lattice NExt(KTB)
  • A Temporal Logic of Normative Systems
  • Reasoning with Justifications
  • Monotone Relations, Fixed Points and Recursive Definitions
  • Processing Information from a Set of Sources
  • The Classical Model Existence Theorem in Subclassical Predicate Logics I
  • Weak Implicational Logics Related to the Lambek Calculus-Gentzen versus Hilbert Formalisms
  • Faithful and Invariant Conditional Probability in ?ukasiewicz Logic
  • A Fuzzy Logic Approach to Non-Scalar Hedges
  • The Procedures for Belief Revision
  • Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
  • The Coherence of Theories-Dependencies and Weights
  • On Meta-Knowledge and Truth.

Ejemplares similares