0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Handbook of Philosophical Logic - Volume 8 (Hardcover, 2nd ed. 2002) Loot Price: R4,487
Discovery Miles 44 870
Handbook of Philosophical Logic - Volume 8 (Hardcover, 2nd ed. 2002): Dov M. Gabbay, Franz Guenthner

Handbook of Philosophical Logic - Volume 8 (Hardcover, 2nd ed. 2002)

Dov M. Gabbay, Franz Guenthner

Series: Handbook of Philosophical Logic, 8

 (sign in to rate)
Loot Price R4,487 Discovery Miles 44 870 | Repayment Terms: R420 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin- Logic p- language controlspec- telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re- Time depen- Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa- of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime- Temporallogic fromfuture Decisionprob- the Frame programming. Problem.Tem- lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and logics databases modality Algorithmic Discourse rep- New logics. Generaltheory Proceduralap- proof resentation. Generic theo- of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non- Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc- reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com- Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys- Expert sys- Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Handbook of Philosophical Logic, 8
Release date: August 2002
First published: 2002
Editors: Dov M. Gabbay • Franz Guenthner
Dimensions: 235 x 155 x 19mm (L x W x T)
Format: Hardcover
Pages: 354
Edition: 2nd ed. 2002
ISBN-13: 978-1-4020-0665-4
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 1-4020-0665-9
Barcode: 9781402006654

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,205 Discovery Miles 32 050
Empiricism and Experience
Anil Gupta Hardcover R2,062 Discovery Miles 20 620
Hilbert's Programs and Beyond
Wilfried Sieg Hardcover R3,711 Discovery Miles 37 110
Logic on the Track of Social Change
David Braybrooke, Bryson Brown, … Hardcover R1,497 Discovery Miles 14 970
An Essay Concerning Human Understanding
John Locke Paperback R792 Discovery Miles 7 920
An Essay Concerning Human Understanding
John Locke Paperback R718 Discovery Miles 7 180
An Essay Concerning Human Understanding…
John Locke Paperback R755 Discovery Miles 7 550
An Essay Concerning Human Understanding
John Locke Paperback R604 Discovery Miles 6 040
An Essay Concerning Human Understanding
John Locke Paperback R719 Discovery Miles 7 190
The Elements of Logic - in Four Books
William Duncan Paperback R481 Discovery Miles 4 810
An Essay Concerning Human Understanding…
John Locke Paperback R562 Discovery Miles 5 620
Metaphysical Inquiry Into Method…
Isaac Preston Cory Paperback R646 Discovery Miles 6 460

See more

Partners