4.0%OFF
Download App
| >> | LShop | >> | Book | >> | Language | >> | Linguistics | >> | Protoalgebraic Logic... |
4.0%OFF
Protoalgebraic Logics (Trends in Logic)
-
ISBN
:
9780792369400
-
Publisher
:
Springer
-
Subject
:
Linguistics, Mathematics, Philosophy
-
Binding
:
HARDCOVER
-
Pages
:
464
-
Year
:
2001
₹
18765.0
4.0% OFF
₹
18014.0
18014.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
The main aim of this monograph is to provide a structured study of the algebraic method in metalogic. In contrast to traditional algebraic logic, where the focus is on the algebraic forms of specific deductive systems, abstract algebraic logic is concerned with the process of algebraization itself. This book presents in a systematic way recent ideas in abstract algebraic logic centered around the notion of the Leibniz operator. The stress is put on the taxonomy of deductive systems. Isolating a list of plausible properties of the Leibniz operator serves as a basis for distinguishing certain natural classes of sentential logics. The hierarchy of deductive systems presented in the book comprises, among others, the following classes: protoalgebraic logics, equivalential logics, algebraizable logics, and Fregean logics. Because of the intimate connection between algebraic and logical structures, the book also provides a uniform treatment of various topics concerning deduction theorems and quasivarieties of algebras. The presentation of the above classes of logics is accompanied by a wealth of examples illustrating the general theory. An essential part of the book is formed by the numerous exercises integrated into the text. This book is both suitable for logically and algebraically minded graduate and advanced graduate students of mathematics, computer science and philosophy, and as a reference work for the expert.
Related Items
-
of
-
OFFER
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
Lincoln A. Wallen
Starts At
3301.0
3839.0
14% OFF
-
OFFER
Fuzzy Sets, Logics and Reasoning about Knowledge (APPLIED LOGIC SERIES Volume 15)
Didier Dubois
Starts At
18014.0
18765.0
4% OFF
-
OFFER
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 (Studies in Logic and the Foundations of Mathematics)
Nikolaos Galatos
Starts At
9327.0
11516.0
19% OFF
-
OFFER
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Lawrence C. Paulson
Starts At
7277.0
9576.0
24% OFF
-
OFFER
Logic and Information Flow (Foundations of Computing)
Jan van van Eijck
Starts At
3667.0
4265.0
14% OFF
-
OFFER
From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
Jean van Heijenoort
Starts At
2876.0
4052.0
29% OFF
-
OFFER
New Computational Paradigms: Changing Conceptions of What is Computable
S.B. Cooper
Starts At
17933.0
18681.0
4% OFF
-
OFFER
A Course on Mathematical Logic (Universitext)
Shashi Mohan Srivastava
Starts At
3303.0
3841.0
14% OFF
-
OFFER
Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences)
Tom Tymoczko
Starts At
3222.0
3747.0
14% OFF
-
OFFER
Stat Labs: Mathematical Statistics Through Applications
Deborah Nolan
Starts At
6550.0
6823.0
4% OFF
-
OFFER
Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003 (NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207)
M. Goldstein
Starts At
14738.0
15353.0
4% OFF
