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 criação/publicação: 1994
  
• Formato: x, 454 p. ill. 25 cm.
  
• Idioma: Inglês