Andere Kunden interessierten sich auch für
![Topological and Algebraic Structures in Fuzzy Sets]( "Topological and Algebraic Structures in Fuzzy Sets")
Topological and Algebraic Structures in Fuzzy Sets180,99 €![Automated Model Building]( "Automated Model Building")
Automated Model Building180,99 €![Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)]( "Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)")
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)74,99 €![Reading Frege's Grundgesetze]( "Reading Frege's Grundgesetze")
Reading Frege's Grundgesetze48,99 €![An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities]( "An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities")
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities17,99 €![Syllogistic Logic and Mathematical Proof]( "Syllogistic Logic and Mathematical Proof")
Syllogistic Logic and Mathematical Proof89,99 €![Elementary Logic]( "Elementary Logic")
Elementary Logic56,99 €
This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraissé games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory.
Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.
Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.