Muutke küpsiste eelistusi

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

Edited by , Edited by , Edited by
  • Formaat - PDF+DRM
  • Hind: 159,93 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.

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
1(18)
Robert Goldblatt
A Uniform Algebraic Approach to Cut Elimination via Semi-completeness
19(26)
Hiroakira Ono
Ancient Indian Logic, Paksa and Analogy
45(14)
Jeffrey B. Paris
Alena Vencovska
Provability and Decidability of Arithmetical Sentences
59(20)
Shih Ping Tung
On the Minimization Principle in the Boolean Approach to Causal Discovery
79(16)
Jiji Zhang
Contentual and Formal Aspects of Gentzen's Consistency Proofs
95(44)
Ryota Akiyoshi
Yuta Takahashi
Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument
139(14)
Hao-Cheng Fu
Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers
153(28)
Ryo Hatano
Katsuhiko Sano
Satoshi Tojo
On Second Order Propositional Intuitionistic Logics
181(16)
Ryo Kashima
Classical Model Existence Theorem in Subclassical Predicate Logics. II
197(16)
Jui-Lin Lee
On Incorporating Reasoning Time into Epistemic Logic
213(20)
Ren-June Wang
Proof-Theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi
233(26)
Sakiko Yamasaki
Katsuhiko Sano
Varieties of Parthood
259(28)
Paul Hovda
Infinite "Atomic" Mereological Structures
287
Hsing-Chien Tsai