Items related to A General Algebraic Semantics for Sentential Logics:...
Synopsis
The purpose of this monograph is to develop a very general approach to the algebra ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. The main distinctive feature of our approachlies in the mathematical objects used as models of a sententiallogic: We use abstract logics, while the dassical approaches use logical matrices. Using models with more structure allows us to reflect in them the metalogical properties of the sentential logic. Since an abstract logic can be viewed as a "bundle" or family of matrices, one might think that the new models are essentially equivalent to the old ones; but we believe, after an overall appreciation of the work done in this area, that it is precisely the treatment of an abstract logic as a single object that gives rise to a useful -and beautiful- mathematical theory, able to explain the connections, not only at the logical Ievel but at the metalogical Ievel, between a sentential logic and the particular dass of models we associate with it, namely the dass of its full models. Traditionally logical matrices have been regarded as the most suitable notion of model in the algebraic studies of sentential logics; and indeed this notion gives sev eral completeness theorems and has generated an interesting mathematical theory.
"synopsis" may belong to another edition of this title.
Synopsis
This text presents a general process of algebraization, in a wide sense, applicable to any logical system presented as a sentential logic. This process is performed through the use of abstract logics, which are pairs consisting of an algebra and closure operature on it. The main focus of the book is the notion of a full model of a logic. Besides the fundamental properties of this notion, the relationship between this approach and the more restricted, matrix-based ones are studies. Moreover, abstract logics are used in a natural way as models of Gentzen calculi; in this way algebraizations of some logics are obtained that are not possible in more standard approaches.
"About this title" may belong to another edition of this title.
Search results for A General Algebraic Semantics for Sentential Logics:...
Stock Image
A General Algebraic Semantics for Sentenial Logics
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540616993
ISBN 13: 9783540616993
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1996. Tome 7. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Volume 7. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-572
Quantity: 1 available
Stock Image
A General Algebraic Semantics for Sentenial Logics
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2013
ISBN 10: 3540616993
ISBN 13: 9783540616993
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2013. Tome 7. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2013. Volume 7. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-867-844
Quantity: 1 available
Stock Image
A General Algebraic Semantics for Sentential Logics (Lecture Notes in Logic, 7)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540616993_new
Quantity: Over 20 available
Stock Image
A General Algebraic Semantics for Sentential Logics
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540616993
Quantity: 10 available
Seller Image
A General Algebraic Semantics for Sentential Logics
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 3540616993
ISBN 13: 9783540616993
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The purpose of this monograph is to develop a very general approach to the algebra ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. The main distinctive feature of our approachlies in the mathematical objects used as models of a sententiallogic: We use abstract logics, while the dassical approaches use logical matrices. Using models with more structure allows us to reflect in them the metalogical properties of the sentential logic. Since an abstract logic can be viewed as a 'bundle' or family of matrices, one might think that the new models are essentially equivalent to the old ones; but we believe, after an overall appreciation of the work done in this area, that it is precisely the treatment of an abstract logic as a single object that gives rise to a useful -and beautiful- mathematical theory, able to explain the connections, not only at the logical Ievel but at the metalogical Ievel, between a sentential logic and the particular dass of models we associate with it, namely the dass of its full models. Traditionally logical matrices have been regarded as the most suitable notion of model in the algebraic studies of sentential logics; and indeed this notion gives sev eral completeness theorems and has generated an interesting mathematical theory. Seller Inventory # 9783540616993
Quantity: 1 available
Stock Image
A General Algebraic Semantics for Sentential Logics (Lecture Notes in Logic, 7)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540616993
Quantity: Over 20 available
Seller Image
A General Algebraic Semantics for Sentential Logics
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 3540616993
ISBN 13: 9783540616993
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4895714
Quantity: Over 20 available
Stock Image
A General Algebraic Semantics for Sentential Logics
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 148 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 94384026
Quantity: 4 available
Stock Image
A General Algebraic Semantics for Sentential Logics
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 148. Seller Inventory # 2698013253
Quantity: 4 available
Seller Image
A General Algebraic Semantics for Sentential Logics
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1996, 1996
ISBN 10: 3540616993
ISBN 13: 9783540616993
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The purpose of this monograph is to develop a very general approach to the algebra ization of sententiallogics, to show its results on a number of particular logics, and to relate it to other existing approaches, namely to those based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. The main distinctive feature of our approachlies in the mathematical objects used as models of a sententiallogic: We use abstract logics, while the dassical approaches use logical matrices. Using models with more structure allows us to reflect in them the metalogical properties of the sentential logic. Since an abstract logic can be viewed as a 'bundle' or family of matrices, one might think that the new models are essentially equivalent to the old ones; but we believe, after an overall appreciation of the work done in this area, that it is precisely the treatment of an abstract logic as a single object that gives rise to a useful -and beautiful- mathematical theory, able to explain the connections, not only at the logical Ievel but at the metalogical Ievel, between a sentential logic and the particular dass of models we associate with it, namely the dass of its full models. Traditionally logical matrices have been regarded as the most suitable notion of model in the algebraic studies of sentential logics; and indeed this notion gives sev eral completeness theorems and has generated an interesting mathematical theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch. Seller Inventory # 9783540616993
Quantity: 1 available