0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Quantification in Nonclassical Logic, Volume 153 (Hardcover, 153rd edition): Dov M. Gabbay, Dimitrij Skvortsov, Valentin... Quantification in Nonclassical Logic, Volume 153 (Hardcover, 153rd edition)
Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
R4,420 Discovery Miles 44 200 Ships in 10 - 15 working days

Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and
language in ancient times; they were studied by traditional informal
methods until the 20th century. In the last century the tools became
highly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science.
Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical first-order quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic. The main emphasis of Volume 1 is model-theoretic, and it concentrates on descriptions of different sound semantics and completeness problem --- even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,280 Discovery Miles 22 800
Open Source Database Driven Web…
Isaac Dunlap Paperback R1,159 Discovery Miles 11 590
Object-oriented Programming with…
Harald Wertz Hardcover R3,452 Discovery Miles 34 520
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,321 R1,228 Discovery Miles 12 280
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,274 R1,188 Discovery Miles 11 880
Modern Systems Programming with Scala…
Richard Whaling Paperback R908 Discovery Miles 9 080
Java For Students
Douglas Bell, Mike Parr Paperback R2,556 Discovery Miles 25 560
Programming Logic & Design
Joyce Farrell Paperback R757 Discovery Miles 7 570
Signal Processing for Active Control
Stephen Elliott Hardcover R3,132 Discovery Miles 31 320
CISA - Certified Information Systems…
Cannon Paperback R1,635 R1,311 Discovery Miles 13 110

 

Partners