Study of Logics

Zusatztext will be welcomed by enthusiasts in the field as containing ... the basic material ... and the behaviour of such connectives in a rannge of logics Klappentext This book seeks the unity in this diversity by asking what properties a structure should have to qualify it to be a logic. It does not provide a complete atlas of the logic manifold but prepounds a principle which, though it makes neither the crooked straight nor the rough places plane, facilitates the drawing of local charts of the fortuitous crookedness of real logical highways and byways. Zusammenfassung A great variety of logical systems arise in mathematical logic and computer science. This is a new systematic study of the principles behind such logics. The technical work is illuminated by information about its historical and philosophical context. Inhaltsverzeichnis The multiplicity of logics; Classical logic; Abstract logics; Logical operations; Order and lattices; Constructing logics; Quasi-Boolean algebras and empirical continuity; Three-valued logic; Relevance; The calculus of logics: effective logic; Modal logics; Appendix; References; Index.

Dettagli sul prodotto

• Autori: John P Cleave, John P. Cleave, John P. (Reader in Mathematics (Retired) Cleave, Cleave John P.
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 19.12.1991
• EAN: 9780198532118
• ISBN: 978-0-19-853211-8
• Pagine: 430
• Serie: Oxford Logic Guides; Oxford Logic Guides
• Categorie: Saggistica > Filosofia, religione > Filosofia: tematiche generali, opere di consultazione; Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti; MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, Philosophy of Mathematics, Mathematical logic