Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher der Reihe Trends in Logic

Filter
Filter
Ordnen nachSortieren Reihenfolge der Serie
  • von K. Dosen
    139,00 €

    Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.

  • von Bruno Da Ré
    94,00 €

    This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough study of the semantics and the proof-theories of this new and exciting variety of families of logics.This volume examines the hierarchies of metainferential logics and gives a general and systematic theory of them, and of the truth theories based on these logics. This book puts forward the prospects for truth-theories based on the metainferential logics of the TS/ST hierarchy and argues for its promise noting that each of these logics can be safely expanded with a transparent truth predicate. It also goes onto to explore new developments in three fields related to logics ¿ namely metainferential logics built by means of the Weak Kleene schema and combining them with logics defined through the Strong Kleene schema, proof-theoretic presentations, and those with a with a global or an absolutely global validity standard, instead of a local one. This book is of interest to scholars in formal logic.

  • - A Categorical Approach to L-fuzzy Relations
    von Michael Winter
    94,00 €

    Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures.

  • - An Inquiry into Generalized Logical Values
    von Yaroslav Shramko & Heinrich Wansing
    94,00 - 94,98 €

    Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity.

  • von Andrzej Indrzejczak
    213,00 €

    Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.

  • - A view from the limit
    von Vincent F. Hendricks
    141,00 €

    The Convergence of Scientific Knowledge-a view from the limit utilizes a few concepts from formal learning theory to study problems in modal logic and epistemology. It should be duely noted that this book has virtually nothing to do with formal learning theory or inductive learning problems.

  • von Carlo Toffalori & Annalisa Marcja
    114,00 €

    This volume is easily accessible to young people and mathematicians unfamiliar with logic. It further provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. The book is for trainees and professional model theorists, and mathematicians working in Algebra and Geometry.

  • von Petr Hajek
    203,00 €

    This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis.

  • - Foundational Topics
    von Mieszko Talasiewicz
    94,00 €

    This book proposes an original treatment of quantification, and it formulates insightful general principles of syntactic analysis. Its main message is that categorical grammar is the most plausible framework for logical syntax of natural language.

  • von Heinrich Wansing
    132,00 €

    The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.

  • von Petr Hajek
    186,00 €

    This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis.

  •  
    96,00 €

    This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics.

  • - Inductive Logic as a Theory of Justification
    von P. Kawalec
    94,00 €

    a

  • - Sharp and Unsharp Quantum Logics
    von Maria Luisa Dalla Chiara, Roberto Giuntini & Richard Greechie
    140,00 €

    "Is quantum logic really logic?" The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation.

  • von E. Pap, Erich Peter Klement & R. Mesiar
    185,00 €

    This book discusses the theory of triangular norms and surveys several applied fields in which triangular norms play a significant part: probabilistic metric spaces, aggregation operators, many-valued logics, fuzzy logics, sets and control, and non-additive measures together with their corresponding integrals.

  • von R.L. Cignoli, Itala M. d'Ottaviano & Daniele Mundici
    100,00 €

  • von Francesca Poggiolesi
    130,00 €

    This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.

  • von F. Paoli
    204,00 €

    The aim of the present book is to give a comprehensive account of the 'state of the art' of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational.

  • von Sergei Odintsov
    95,00 €

    Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

  • von Daniele Mundici
    94,00 - 95,00 €

    This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals, and related algorithms.

  • - Applications of Mathematical Logic in Philosophy and Linguistics
     
    94,00 €

    Papers of a Conference held in Bonn, November 10-13, 2000

  • - Papers from the Studia Logica conference Trends in Logic IV
     
    140,00 €

    Modal Logics The ?rst bundle of papers in this volume contains contribution to modal logic.

  • von Ewa S. Orlowska & Joanna Golinska-Pilarek
    140,00 - 141,00 €

    Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.

  • von E. Pap, Erich Peter Klement & R. Mesiar
    186,00 €

    This book discusses the theory of triangular norms and surveys several applied fields in which triangular norms play a significant part: probabilistic metric spaces, aggregation operators, many-valued logics, fuzzy logics, sets and control, and non-additive measures together with their corresponding integrals.

  • - Applications of Mathematical Logic in Philosophy and Linguistics
     
    108,00 €

    Papers of a Conference held in Bonn, November 10-13, 2000

  • von R.L. Cignoli, Itala M. d'Ottaviano & Daniele Mundici
    100,00 €

    States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit.

  • - Mathematical Tools for Approximate Reasoning
    von G. Gerla
    94,98 €

    Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh [1975]a). By contrast, fuzzy logical deductive machinery is devised to produce a fuzzy set of formulas (the theorems) from a fuzzy set of formulas (the hypotheses).

  • von K. Dosen
    141,00 €

    Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.

  • - Sharp and Unsharp Quantum Logics
    von Maria Luisa Dalla Chiara, Roberto Giuntini & Richard Greechie
    141,00 €

    "Is quantum logic really logic?" The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation.

  • von Giulianella Coletti & R. Scozzafava
    96,00 - 104,00 €

    The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.