Universal Logic: An Anthology From Paul Hertz to Dov Gabbay

Basel, Switzreland: Birkhäuser (2012)
  Copy   BIBTEX

Abstract

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2017-08-09

Downloads
56 (#401,341)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Federal University of Rio de Janeiro

References found in this work

A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
A Structuralist Theory of Logic.Arnold Koslow - 1995 - Studia Logica 54 (2):256-258.

View all 11 references / Add more references