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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Makinson, David (Επιμελητής έκδοσης), Malinowski, Jacek (Επιμελητής έκδοσης), Wansing, Heinrich (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2009.
• Σειρά: Trends in Logic ; 28
• Θέματα: Mathematics.; Logic.; Arithmetic and logic units, Computer.; Algebra.; Mathematical logic.; Computational linguistics.; Mathematical Logic and Foundations.; Mathematics, general.; Arithmetic and Logic Structures.; Computational Linguistics.

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...

Πίνακας περιεχομένων:

• 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.