Inicio > Humanidades > Filosofía > Filosofía: lógica > Substructural Logics
Substructural Logics

Substructural Logics

F. Paoli

305,91 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2011
Materia
Filosofía: lógica
ISBN:
9789048160143
305,91 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

Artículos relacionados

  • MATH DUDE’S QUICK AND DIRTY GUIDE T
    Jason Marshall
    ...
    Disponible

    20,74 €

  • Final Exam Review
    A. A. Frempong / AAFrempong
    Final Exam Review: Elementary Algebra covers the following: Signed Number and Real Number Operations; Order of Operations and Evaluation of Expressions; Exponential Notation and Rules of Exponents; Polynomial addition, subtraction, multiplication, and division; Solving First Degree Equations;Word Problems; Factoring Polynomials; Solving quadratic equations by factoring & applic...
    Disponible

    37,52 €

  • FUNCTION FIELD ARITHMETIC
    DINESH S THAKUR / THAKUR DINESH S
     This book provides an exposition of function field arithmetic with emphasis on recent developments concerning Drinfeld modules, the arithmetic of special values of transcendental functions (such as zeta and gamma functions and their interpolations), diophantine approximation and related interesting open problems. While it covers many topics treated in 'Basic Structures of ...
  • Essays about Modern Algebra
    Franz Rothe
    The geometric construction of the regular 17, 257 and even the 65 537-gon are given in complete details, including programming codes. The theory of geometrical constructions and its connection to Galois theory is treated in detail. Later parts deal with totally positive real numbers as sums of squares, cyclotomic polynomials,Chebychev polynomials, Gaussian periods, Galois theor...
    Disponible

    33,84 €

  • ADVANCED LINEAR ALGEBRA
    CHANG SHOU-TE / SHOU-TE CHANG
    Certain essential concepts in linear algebra cannot be fully explained in a first course. This is due to a lack of algebraic background for most beginning students. On the other hand, these concepts are taken for granted in most of the mathematical courses at graduate school level. This book will provide a gentle guidance for motivated students to fill the gap. It is not easy t...
  • ADVANCED LINEAR ALGEBRA
    CHANG SHOU-TE / SHOU-TE CHANG
    Certain essential concepts in linear algebra cannot be fully explained in a first course. This is due to a lack of algebraic background for most beginning students. On the other hand, these concepts are taken for granted in most of the mathematical courses at graduate school level. This book will provide a gentle guidance for motivated students to fill the gap. It is not easy t...
    Disponible

    70,61 €

Otros libros del autor

  • Substructural Logics
    F. Paoli
    Substructural logics are by now one of the most prominent branches of the research field usually labelled as 'nonclassical logics' - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a comprehensive account of the 'state of the art' of substruc...
    Disponible

    47,69 €

  • Substructural Logics
    F. Paoli
    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. It is for graduate students in either philosophy, mathematics, theoretical computer scienc...