Price loading...

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

Mathematical Logic

Price data last checked 107 day(s) ago - refreshing...

View at Amazon

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

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The bookmay be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics.

Product Specifications

Format: hardcover
ASIN: 3030856747
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 27 November 2021
Listed Since: 23 July 2021

Barcode

No barcode data available

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

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 for Applications (Texts in Computer Science)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Non-Classical Logics and Their Applications to Fuzzy Subsets: Handbook of the Mathematical Foundations of Fuzzy Set Theory: v. 32 (Theory and Decision Library)

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

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

Logic in High Definition: Trends in Logical Semantics: 56

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

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

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

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

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

A Formalization of Set Theory without Variables (Colloquium Publications)

Introduction to Mathematical Logic: Extended Edition

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

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

Displaying Modal Logic: 3 (Trends in Logic, 3)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

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

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles