Philosophical Logic: Current Trends in Asia
Springer Verlag, Singapore
978-981-10-6354-1 (ISBN)
The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.
Representing and Completing Lattices by Propositions of Cover Systems.- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness.- Ancient Indian Logic, Paksa and Analogy.- Provability and Decidability of Arithmetical Sentences.- On the Minimization Principle in the Boolean Approach to Causal Discovery.- Contentual and Formal Aspects of Gentzen's Consistency Proofs.- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument.- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers.- On Second Order Propositional Intuitionistic Logics.- Classical Model Existence Theorem in Subclassical Predicate Logics. II.- On Incorporating Reasoning Time into Epistemic Logic.- Proof-theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi.- Varieties of Parthood.- Infinite “Atomic” Mereological Structures.
Erscheinungsdatum | 26.01.2018 |
---|---|
Reihe/Serie | Logic in Asia: Studia Logica Library |
Zusatzinfo | 7 Illustrations, black and white; XVI, 296 p. 7 illus. |
Verlagsort | Singapore |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
Geisteswissenschaften ► Philosophie ► Logik | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | Ancient Indian Logic • Causal Models • Consistency Proof • Cover Systems • Epistemic Logics • Modal Logics • Parthood and Mereological Structure • Provability and Decidability • (Second-order) Intuitionistic Logics • Supervaluationism and Vagueness |
ISBN-10 | 981-10-6354-0 / 9811063540 |
ISBN-13 | 978-981-10-6354-1 / 9789811063541 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich