Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

Science & Math

Goldblatt, Robert

Mathematics

Springer, Verlag

This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var ious sub-geometries, and these will be prominent throughout. But the project is intended as an exercise in the foundations of geome try that does not presume a knowledge of physics, and so, in order to provide the appropriate intuitive background, an initial chapter has been included that gives a description of the different types of line (timelike, spacelike, lightlike) that occur in spacetime, and the physical meaning of the orthogonality relations that hold between them. The coordinatisation of affine spaces makes use of constructions from projective geometry, including standard results about the ma trix represent ability of certain projective transformations (involu tions, polarities). I have tried to make the work sufficiently self contained that it may be used as the basis for a course at the ad vanced undergraduate level, assuming only an elementary knowledge of linear and abstract algebra.

Orthogonality and Spacetime Geometry (Universitext)

Springer

An introduction to nonstandard analysis based on a course given by the author. It is suitable for beginning graduates or upper undergraduates, or for self-study by anyone familiar with elementary real analysis. It presents nonstandard analysis not just as a theory about infinitely small and large numbers, but as a radically different way of viewing many standard mathematical concepts and constructions. It is a source of new ideas, objects and proofs, and a wealth of powerful new principles of reasoning. The book begins with the ultrapower construction of hyperreal number systems, and proceeds to develop one-variable calculus, analysis and topology from the nonstandard perspective. It then sets out the theory of enlargements of fragments of the mathematical universe, providing a foundation for the full-scale development of the nonstandard methodology. The final chapters apply this to a number of topics, including Loeb measure theory and its relation to Lebesgue measure on the real line. Highlights include an early introduction of the ideas of internal, external and hyperfinite sets, and a more axiomatic set-theoretic approach to enlargements than is usual.

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis (Graduate Texts in Mathematics, 188)

A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally. Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Dover Publications

Logics of time and computation (CSLI lecture notes)

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Center for the Study of Language and Information

Logics of Time and Computation (Volume 7) (Lecture Notes)

Politics & Social Sciences

Philosophy

Center for the Study of Language and Inf

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic completeness, decidability, and expressability results in a variety of logics of the three kinds considered." -Rohit Parikh, reviewing the first edition in the Journal of Symbolic Logic. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Golblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order defiability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next , anduntil; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, intorducing a connective for the parallel execution of commands. A seperate section is devoted to the quantificational dynamic logic. Numerous excercises are included for use in the classroom. Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Center for the Study of Language and Information- Lecture Notes, Number 7

Computers & Technology

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics (Lecture Notes in Logic, Series Number 38)

Cambridge University Press

An introduction to nonstandard analysis based on a course given by the author. It is suitable for beginning graduates or upper undergraduates, or for self-study by anyone familiar with elementary real analysis. It presents nonstandard analysis not just as a theory about infinitely small and large numbers, but as a radically different way of viewing many standard mathematical concepts and constructions. It is a source of new ideas, objects and proofs, and a wealth of powerful new principles of reasoning. The book begins with the ultrapower construction of hyperreal number systems, and proceeds to develop one-variable calculus, analysis and topology from the nonstandard perspective. It then sets out the theory of enlargements of fragments of the mathematical universe, providing a foundation for the full-scale development of the nonstandard methodology. The final chapters apply this to a number of topics, including Loeb measure theory and its relation to Lebesgue measure on the real line. Highlights include an early introduction of the ideas of internal, external and hyperfinite sets, and a more axiomatic set-theoretic approach to enlargements than is usual.

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis (Graduate Texts in Mathematics)

Mathematics of Modality (Volume 43) (Lecture Notes)

Modal logic is the study of modalities—expressions that qualify assertions about the truth of statements—like some ordinary language phrases and mathematically motivated expressions. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades. This volume collects together a number of Golblatt's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic models, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic.

See the best price to sell, buy, or rent books by Goldblatt, Robert. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Goldblatt, Robert

See the best price to sell, buy, or rent books by Goldblatt, Robert. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

Orthogonality and Spacetime Geometry (Universitext)

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis (Graduate Texts in Mathematics, 188)

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Logics of time and computation (CSLI lecture notes)

Logics of Time and Computation (Volume 7) (Lecture Notes)

Logics of Time and Computation (Volume 7) (Lecture Notes)

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics (Lecture Notes in Logic, Series Number 38)

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis (Graduate Texts in Mathematics)

Mathematics of Modality (Volume 43) (Lecture Notes)