- New Arrivals
Fiction- Historical FictionCrime & ThrillersMysteryScience-FictionFantasyPoetryRomanceChildren’s BooksYoung Adult
- Biographies & MemoirsHistoryCurrent AffairsTech & ScienceBusinessSelf-DevelopmentTravelThe ArtsFood & WineReligion & SpiritualitySportsHumor
Children’s BooksListsBlogGift CardsMy ListsGames- About & Help
- About Tertulia
- Membership & Co-Ownership
- Shipping & Delivery
- Orders & Payments
- Contact Support
- Send App Feedback
- Follow us
- Download the app
The co-op bookstore for avid readers
Labelled Deductive Systems: Volume 1
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
Book Details
- Publisher: OUP Oxford
- Publish Date: Nov 14th, 1996
- Pages: 510
- Language: English
- Edition: undefined - undefined
- Dimensions: 9.21in - 6.14in - 1.13in - 1.96lb
- EAN: 9780198538332
- Categories: • Logic• Logic• Linguistics - General
Praise for this book
"The book presents the formal machinery of LDSs (Labelled deductive systems): proof theory, semantics, and algebraic LDSs, with many examples: modal and tense logics, fuzzy and many-valued logics, linear and relevant logics, nonmonotonic logic, etc. . . .this book will be of great interest for anyone who wants to grasp, together with a number of formal techniques, a multiplicity of logical systems, mostly related to computer science and artificial intelligence." --Mathematical Reviews