Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
A General Algebraic Semantics for Sentential Logics
Foyalty 197

A General Algebraic Semantics for Sentential Logics (Paperback)

£64.99
Usually despatched within 2 weeks.

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.

Computing & ITComputer programming / software developmentProgramming & scripting languages: generalScience & MathematicsMathematicsMathematical foundationsMathematical logicScience & MathematicsMathematicsMathematical foundationsSet theory Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 02/10/1996 ISBN-13: 9783540616993  Details: Type: Paperback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

More books by Josep M. Font

More books by Ramon Jansana

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

The GCHQ Puzzle Book II
(Paperback)
GCHQ
 
 
£12.99
 
Cryptography: Theory and Practice
(Hardback)
Douglas Robert Stinson; Maura Paterson
 
 
£59.95
 
Introduction to Cryptography
(Hardback)
Sahadeo Padhye; Rajeev A. Sahu; ...
 
 
£63.99
 
Security without Obscurity: A Guide ...
(Hardback)
Jeff Stapleton
 
 
£61.99
 
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close