Téléchargez le livre : Logic and Implication

Logic and Implication

An Introduction to the General Algebraic Study of Non-classical Logics de

,

Éditeur :

Springer


Collection :

Trends in Logic

Paru le : 2022-01-01

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
126,59 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
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.
Pages
465 pages
Collection
Trends in Logic
Parution
2022-01-01
Marque
Springer
EAN papier
9783030856748
EAN PDF
9783030856755
Informations sur l'ebook
Nombre pages copiables
4
Nombre pages imprimables
46
Taille du fichier
6851 Ko
Prix
126,59 €

Suggestions personnalisées