Andere Kunden interessierten sich auch für
![Substructural Logics]( "Substructural Logics")
Substructural Logics218,99 €![Modal Logic]( "Modal Logic")
Modal Logic374,99 €![Many-Valued Logics]( "Many-Valued Logics")
Many-Valued Logics184,99 €![Non-Classical Logics and Their Applications to Fuzzy Subsets]( "Non-Classical Logics and Their Applications to Fuzzy Subsets")
Non-Classical Logics and Their Applications to Fuzzy Subsets109,99 €![Set Theory and Its Philosophy]( "Set Theory and Its Philosophy")
Set Theory and Its Philosophy207,99 €![Model Theory]( "Model Theory")
Model Theory276,99 €![Labelled Deductive Systems]( "Labelled Deductive Systems")
Labelled Deductive Systems159,99 €
Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey to the field.
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.
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.