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: Admissibility of logical inference rules
  name:
    name part: Rybakov, Vladimir V. (Vladimir Vladimir)
    name part: 1961-
    role:
      role term: creator
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam
    place:
      place term: New York
    publisher: Elsevier
    date issued: 1997
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (617 pages) : illustrations
  abstract: The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: & bull; admissible or permissible inference rules & bull; the derivability of the admissible inference rules & bull; the structural completeness of logics & bull; the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.
  note: Vladimir V. Rybakov.
  note: Includes bibliographical references (pages 603-617) and index.
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Inference
  subject:
    topic: Inférence (Logique)
  subject:
    topic: Logique symbolique et mathématique
  subject:
    topic: MATHEMATICS
    topic: Infinity
  subject:
    topic: MATHEMATICS
    topic: Logic
  subject:
    topic: Inference
  subject:
    topic: Logic, Symbolic and mathematical
  subject:
    topic: Logica
  subject:
    topic: Modeltheorie
  subject:
    topic: Logica matematica
  classification: QA9 .R986 1997eb
  classification: 511.3
  related item:
    title info:
      title: Admissibility of logical inference rules
    name:
      name part: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
    origin info:
      publisher: Amsterdam ; New York : Elsevier, 1997
    identifier: (DLC) 96006560
    identifier: (OCoLC)36701972
  related item:
    title info:
      title: Studies in logic and the foundations of mathematics ; v. 136
  identifier: 9780444895059
  identifier: 0444895051
  identifier: 9780080525990
  identifier: 0080525997
  identifier: 96006560
  identifier: 122194:126112 Elsevier Science & Technology
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 070802
    record change date: 20260326150436.4
    record identifier: in00005731790
    language of cataloging:
      language term: eng