Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “luca tranchini”
Skip side bar filters

  • Harmony and Paradox

    Intensional Aspects of Proof-Theoretic Semantics

    by Luca Tranchini ...
    Series series Mathematics and Statistics (R0)
    This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly ... Read more

    Free

People who read this also enjoyed

  • Visual Intuitionism: The Handbook of use of visual logic thinking in everyday life

    by Al Mastavich ...
    This book presents the technique of visual logic thinking. The technique consists of separate consecutive parts, which as whole become "skeleton" for information processing with following topics: mnemonic technique of memorization of events and dialogues, visual analysis of events in space and time, visualization of semantic connections and taxonomical groups of abstract essences, estimation of ... Read more

    $0.99 CAD or Free with Kobo Plus

  • A Concrete Approach To Abstract Algebra,Student Solutions Manual (e-only)

    by Jeffrey Bergen ...
    A Concrete Approach to Abstract Algebra begins with a concrete and thorough examination of familiar objects like integers, rational numbers, real numbers, complex numbers, complex conjugation and polynomials, in this unique approach, the author builds upon these familar objects and then uses them to introduce and motivate advanced concepts in algebra in a manner that is easier to understand for ... Read more

    $9.89 CAD

  • Philosophy in a New Century

    Selected Essays

    by John R. Searle ...
    John R. Searle has made profoundly influential contributions to three areas of philosophy: philosophy of mind, philosophy of language, and philosophy of society. This volume gathers together in accessible form a selection of his essays in these areas. They range widely across social ontology, where Searle presents concise and informative statements of positions developed in more detail elsewhere; ... Read more

    $44.99 CAD

  • The Evolution of Logic

    by W. D. Hart ...
    Series series The Evolution of Modern Philosophy
    Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent ... Read more

    $37.99 CAD

  • Advances in Proof-Theoretic Semantics

    Edited by Thomas Piecha, Peter Schroeder-Heister ...
    Series series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Read more

    Free

  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    by Bart Jacobs ...
    Series Book 59 - Cambridge Tracts in Theoretical Computer Science
    The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts ... Read more

    $184.99 CAD

  • On the Logic and Learning of Language

    by Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... Read more

    $11.99 CAD

  • Inductive Logic

    by Stephan Hartmann ...
    Series Book 10 - Handbook of the History of Logic
    Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and ... Read more

    $243.19 CAD

  • The Oxford Handbook of Compositionality

    Edited by Markus Werning, Wolfram Hinzen, Edouard Machery ...
    Series series Oxford Handbooks
    In this book leading scholars from every relevant field report on all aspects of compositionality, the notion that the meaning of an expression can be derived from its parts. Understanding how compositionality works is a central element of syntactic and semantic analysis and a challenge for models of cognition. It is a key concept in linguistics and philosophy and in the cognitive sciences more ... Read more

    $171.99 CAD

  • Philosophy of Science

    A Unified Approach

    by Gerhard Schurz ...
    Philosophy of Science: A Unified Approach combines a general introduction to philosophy of science with an integrated survey of all its important subfields. As the book’s subtitle suggests, this excellent overview is guided methodologically by "a unified approach" to philosophy of science: behind the diversity of scientific fields one can recognize a methodological unity of the sciences. This ... Read more

    $104.99 CAD

  • Handbook of Philosophical Logic

    Volume 17

    Edited by Dov M. Gabbay, Franz Guenthner ...
    Series series Philosophy and Religion (R0)
    This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and ... Read more

    $115.99 CAD