rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Sheaves, Games, and Model Completions
    sub title: a Categorial Approach to Nonclassical Propositional Logics
  name:
    name part: Ghilardi, Silvio.
    role:
      role term: creator
  name:
    name part: Zawadowski, Marek.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 2002
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (ix, 245 pages)
  abstract: 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.
  table of contents: 1. Introduction -- 2. Preliminary Notions -- 3. Model Completions -- 4. Heyting Algebras -- 5. Duality for Modal Algebras -- 6. Model Completions in Modal Logic -- 7. Algebraically Closed Models -- 8. Open Problems -- 9. Appendix. References -- Glossary of Notation -- Subject Index.
  note: by Silvio Ghilardi, Marek Zawadowski.
  note: Electronic resource.
  subject:
    topic: Philosophy (General)
  subject:
    topic: Logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Algebra
  subject:
    topic: Logic, Symbolic and mathematical
  classification: BC1-199
  classification: 160
  related item:
    title info:
      title: Trends in Logic, Studia Logica Library ; 14
  identifier: 9789401599368 (electronic bk.)
  identifier: 940159936X (electronic bk.)
  identifier: 9789048160365
  identifier: 9048160367
  identifier: 940159936X
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130409
    record change date: 20260420201302.6
    record identifier: in00003569516
    language of cataloging:
      language term: eng