Skip to main content
Book cover
  • Book
  • © 2012

Universal Logic: An Anthology

From Paul Hertz to Dov Gabbay

Birkhäuser

Editors:

  1. Jean-Yves Béziau

    1. Institute of Philosophy, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • No other anthology on universal logic or connected topics has been published

  • In general it is not so usual to have an anthology with presentations of each paper by so many different specialists

  • In this book will be collected already published papers from 1920 to 1990 that can be considered in the spirit of universal logic

  • Includes supplementary material: sn.pub/extras

Part of the book series: Studies in Universal Logic (SUL)

Softcover Book USD 109.99
Price excludes VAT (USA)
Learn about institutional subscriptions

About this book

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.
Back to top

Keywords

  • Universal Logic
  • abstract logic
  • combination of logic
  • consequence relation
  • history of logic
  • many-valued logic
  • modal logic
  • non-classical logic
Back to top

Reviews

From the reviews:

“The quest for common ground in the expression of logical statements--regardless of the given syntax, semantics, or grammar--has taken the best efforts of notable logicians throughout the 20th century. This book gathers a collection of some of the most notable of their works. Its structure is chronological … . I highly recommend this book to logicians, mathematicians working on provability theory, and software engineers.” (Arturo Ortiz-Tapia, ACM Computing Reviews, July, 2012)

Back to top

Editors and Affiliations

  • Institute of Philosophy, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil

    Jean-Yves Béziau

Back to top

About the editor

Jean-Yves Béziau ist Professor und Forscher des brasilianischen Forschungrsrates -CNPq - der nationalen Universität in Ceara, Brasilien. Béziau ist französischer und schweizerischer Doppelbürger. Er spricht fliessend Englisch, Portugiesisch und muttersprachlich Französisch und hat in allen drei Sprachen Werke veröffentlicht. Als ehemaliger Student (und häufig als Mitarbeiter ) von Newton da Costa, arbeitet er im Gebiet der Logik – besonders in paraconsistenter Logik und allgemeine Logik. Er wurde an der Universität von São Paulo in Philosophie und an der Universität von Paris in Logik und Grundlagen in Computerwissenschaften promoviert. Béziau ist Chefeditor und Gründer der Zeitung Logica Universalis und der Buchreihe Studies in Universal Logic.
Back to top

Bibliographic Information

Back to top
Softcover Book USD 109.99
Price excludes VAT (USA)
Learn about institutional subscriptions