The Fictioning Horror Sale
 
 

Recently Viewed clear list


Original Essays | September 4, 2014

Edward E. Baptist: IMG The Two Bodies of The Half Has Never Been Told: Slavery and the Making of American Capitalism



My new book, The Half Has Never Been Told: Slavery and the Making of American Capitalism, is the story of two bodies. The first body was the new... Continue »
  1. $24.50 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$89.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
3 Remote Warehouse Mathematics- Logic and Philosophy

More copies of this ISBN

Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic)

by

Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic) Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

This book features a collection of papers from Paul Hertz to Dov Gabbay — through Tarski, Gödel, Kripke — that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence.

About the Author

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.

Table of Contents

1. Paul Hertz (1922), «Über Axiomensysteme für beliebige Satzsysteme, Teil. 1» presented by Javier Legris // 2. Paul Bernays (1926), «Axiomatische Untersuchung des Aussagenkalküls des Principia Mathematica» presented by Walter Carnielli // 3. Alfred Tarski (1928), «Remarques sur les notions fondamentales de la méthodologie des mathématiques», presented by Stan Surma and Jan Zygmunt // 4. Kurt Gödel (1933), «Eine Interpretation des intuitionistischen Aussagenkalküls» presented by presented by Itala D'Ottavianao and Hercules Feitosa// 5. Louis Rougier (1941), «The relativity of logic» presented by Mathieu Marion // 6. Haskell B. Curry (1952), Leçons de logique algébrique (Translation of extracts) presented by Johnatan Seldin // 7. Jerzy Los and Ronam Suszko (1958), «Remarks on sentential logics» presented by Jan Zygmunt // 8. Saul Kripke (1963), «Semantical Considerations on Modal Logic» presented by Johan van Benthem // 9. Jean Porte (1965), Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs (Translation of extracts) presented by Marcel Guillaume // 10. Per Lindström (1969), « On extensions of elementary logic » presented by Jouko Väänänen // 11. Stephen L.Bloom, Donald J.Brown et Roman Suszko (1970), «Some theorems on abstract logics» presented by Ramon Jansana // 12. Dana Scott (1974), «Completeness and axiomatizability in many-valued logic» presented by Lloyd Humberstone // 13. Joseph Goguen and Rod Burstall (1984), «Introducing institutions» presented by Razvan Diaconescu // 14. Andrea Loparic and Newton da Costa (1984), «Paraconsistency, paracompleteness and valuations» presented by Jean-Yves Béziau // 15. Dov Gabbay, «Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logic» (extracts) presented by Amilcar Sernadas and Carlos Caleiro

Product Details

ISBN:
9783034601443
Author:
Beziau, Jean-yves (edt)
Publisher:
Birkhauser
Editor:
Beziau, Jean-Yves
Author:
Bziau, Jean-Yves
Author:
Beziau, Jean-Yves
Subject:
Logic
Subject:
Computer Science
Subject:
Universal logic
Subject:
abstract logic
Subject:
combination of logic
Subject:
consequence relation
Subject:
Many-valued logic.
Subject:
Modal Logic
Subject:
nonclassical logic
Subject:
Mathematical Logic and Foundations
Subject:
Mathematical Logic and Formal Languages
Subject:
Arithmetic and Logic Structures
Subject:
Mathematics-Logic and Philosophy
Copyright:
Edition Description:
2012
Series:
Studies in Universal Logic
Publication Date:
20111128
Binding:
TRADE PAPER
Language:
English
Pages:
428
Dimensions:
240 x 170 mm

Other books you might like

  1. Stoic Pragmatism (American Philosophy) New Trade Paper $23.25

Related Subjects

Arts and Entertainment » Art » Style and Design
Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay (Studies in Universal Logic) New Trade Paper
0 stars - 0 reviews
$89.95 In Stock
Product details 428 pages Birkhauser - English 9783034601443 Reviews:
"Synopsis" by , This book features a collection of papers from Paul Hertz to Dov Gabbay — through Tarski, Gödel, Kripke — that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.