Substructural Logics: A Primer: 13 (Trends in Logic, 13) - Image 1

Price loading...

Springer Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Name: Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Brand: Springer

Algebra

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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 substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational). Readership: This textbook is designed for a wide readership: graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics with no previous knowledge of the subject (except for a working knowledge of elementary logic) will be gradually introduced into the field starting from its basic foundations; specialists and researchers in the area will find an up-to-date survey of the most important current research topics and problems.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 1402006055
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 31 May 2002
Listed Since: 02 February 2007

Barcode

No barcode data available

Springer Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Routledge - An Introduction to Substructural Logics Book

Logic for Applications (Texts in Computer Science)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Handbook of Philosophical Logic: Volume 14

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

A Logical Approach to Discrete Math (Monographs in Computer Science)