skip to main content

What is a logical system?

Dov M Gabbay 1945-

Oxford Clarendon Press New York Oxford University Press 1994

Localização: IME - Inst. Matemática e Estatística    (QA9.C3 G112w )(Acessar)

  • Título:
    What is a logical system?
  • Autor: Dov M Gabbay 1945-
  • Assuntos: Logic, Symbolic and mathematical; Computer science; LÓGICA MATEMÁTICA; Mathematical logic; COLETÂNEA
  • Notas: Includes bibliographical references and index
  • Descrição: What is logic? / I. Hacking -- Logic without model theory / R. Kowalski -- Diagrams and the concept of logical system / J. Barwise and E. Hammer -- General dynamic logic / J. van Benthem -- What is a deductive system? / J. Lambek -- Thetransmission of truth and the transitivity of deduction / N. Tennant -- What is a logical system? / D.M. Gabbay -- What is a logical system? / A. Avron -- Structure, consequence relation and logic / G. Crocco and L. Fariñas del Cerro --Schematic consequence / P. Aczel -- Logical constants as punctuation marks / K. Doséen -- Finitary inductively presented logics / S. Feferman -- A theory and its metatheory in FS(subscript O) / S. Matthews --General logics and logicalframeworks / N. Martí-Oliet and J. Meseguer -- General algebraic logic : a perspective on 'what is logic' / I. Németi and H. Andréka
  • Títulos relacionados: Série:Oxford science publications; Studies in logic and computation 4
  • Editor: Oxford Clarendon Press New York Oxford University Press
  • Data de publicação: 1994
  • Formato: x, 454 p. ill. 25 cm.
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.