What is a logical system?

by Gabbay, Dov M.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :What is a logical system? / edited by D.M. Gabbay.

Edition Statements

Publication Date:1994.

Publication Statements

Publisher(s):Clarendon Press, Oxford University Press
Place of Publication:Oxford
Language:eng
Publication Date:1994.

The Physical Object

Description:x, 454 pages : : illustrations ; : 25 cm

Edition Identifiers

ISBN:0198538596, 9780198538592
oclc:ocm31170699
LC Classification:QA9.2
Dewey Decimal:511.3

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 -- The transmission 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ěn -- Finitary inductively presented logics / S. Feferman -- A theory and its metatheory in FS(subscript O) / S. Matthews -- General logics and logical frameworks / N. Martí-Oliet and J. Meseguer -- General algebraic logic : a perspective on 'what is logic' / I. Németi and H. Andréka.

Subjects

Aufsatzsammlung Computer Science Electronic Data Processing Informatique Logic, Symbolic and mathematical logica Lógica matemática Logik Logique Logique symbolique et mathématique Mathematical logic Mathematische Logik Systeemtheorie