KI-Beratung Beta

Produktbild: Philosophical Logic: Current Trends in Asia
- 12%

Philosophical Logic: Current Trends in Asia Proceedings of AWPL-TPLC 2016

12% sparen

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.12.2018

Abbildungen

XVI, 296 p. 7 illus.

Herausgeber

Syraya Chin-Mu Yang + weitere

Verlag

Springer Singapore

Seitenzahl

296

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

476 g

Auflage

Softcover reprint of the original 1st ed. 2017

Sprache

Englisch

ISBN

978-981-13-4863-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.12.2018

Abbildungen

XVI, 296 p. 7 illus.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

296

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

476 g

Auflage

Softcover reprint of the original 1st ed. 2017

Sprache

Englisch

ISBN

978-981-13-4863-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Philosophical Logic: Current Trends in Asia

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