Free Delivery Over $100
|
|
|||
|
||||
OverviewThe book exmaines closure spaces, an abstract mathematical theory, with special emphasis on results applicable to formal logic. The theory is developed, conceptually and methodologically, as part of topology. At the least, the book shows how techniques and results from topology can be usefully employed in the theory of deductive systems. At most, since it shows that much of logical theory can be represented within closure space theory, the abstract theory of derivability and consequence can be considered a branch of applied topology. One upshot of this appears to be that the concepts of logic need not be overtly linguistic nor do logical systems need to have the syntax they are usually assumed to have. Audience: The book presupposes very little technical knowledge, but can probably be read most easily by someone with a background in symbolic logic or, even better, upper division or graduate mathematics. It should be of interest to logicians and, to a lesser degree, computer scientists and other mathematicians. Full Product DetailsAuthor: N.M. Martin , S. PollardPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: Softcover reprint of hardcover 1st ed. 1996 Volume: 369 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 0.454kg ISBN: 9781441947581ISBN 10: 1441947582 Pages: 230 Publication Date: 07 December 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock  The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of Contents1 Logic and Topology.- 2 Basic Topological Properties.- 3 Some Theorems of Tarski.- 4 Continuous Functions.- 5 Homeomorphisms.- 6 Closed Bases and Closure Semantics I.- 7 Theory of Complete Lattices.- 8 Closed Bases and Closure Semantics II.- 9 Truth Functions.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
