Universal Logic: An Anthology From Paul Hertz to Dov Gabbay

(ed.)
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.

Categories

Keywords

Reprint years

ISBN(s)

3034601441   9783034601443   3034601468
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

Perspectives on Universal Logic.Jean-Yves Béziau & Alexandre Costa-Leite (eds.) - 2007 - Milan, Italy: Polimetrica.
Translation Paradox and Logical Translation.Tzu-Keng Fu - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:39-45.
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic.Sergey Pavlov - 2011 - Logica Universalis 5 (2):319-325.
Is Universal Logic `Universal'?Fu Tzu-Keng - 2016 - SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):127-153.
Expanding the universe of universal logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.
Logic may be simple. Logic, congruence and algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
From Paraconsistent Logic to Universal Logic.Jean-Yves Béziau - 2001 - Sorites 12:5-32.
Logica Universalis: Towards a General Theory of Logic.Jean-Yves Béziau (ed.) - 2005 - Boston: Birkhäuser Verlog.
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
From consequence operator to universal logic: a survey of general abstract logic.Jean-Yves Beziau - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. pp. 3--17.
Completeness with respect to a chain and universal models in fuzzy logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
Algebraic Characterizations for Universal Fragments of Logic.Raimon Elgueta - 1999 - Mathematical Logic Quarterly 45 (3):385-398.
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
Logic with Added Reasoning.Michael Gabbay - 2002 - Peterborough, Ont. and Orchard Park, NY: Broadview Press.

Analytics

Added to PP
2017-08-09

Downloads
41 (#369,691)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Federal University of Rio de Janeiro

Citations of this work

No citations found.

Add more citations

References found in this work

A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.
A Structuralist Theory of Logic.Arnold Koslow - 1995 - Studia Logica 54 (2):256-258.
Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.

View all 11 references / Add more references