Universal Logic: An Anthology

From Paul Hertz to Dov Gabbay

AvJean-Yves Béziau

Häftad, Engelska, 2012

Del i serien Studies in Universal Logic

536 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2012-04-02
Mått:168 x 240 x 24 mm
Vikt:714 g
Format:Häftad
Språk:Engelska
Serie:Studies in Universal Logic
Antal sidor:410
Upplaga:2012
Förlag:Birkhauser Verlag AG
ISBN:9783034601443

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik
Hårdvara inom Data och IT
Systemvetenskap och AI inom Data och IT

Mer om författaren

Jean-Yves Beziau ist Professor und Forscher des brasilianischen Forschungrsrates -CNPq - der nationalen Universitat in Ceara, Brasilien. Beziau ist franzosischer und schweizerischer Doppelburger. Er spricht fliessend Englisch, Portugiesisch und muttersprachlich Franzosisch und hat in allen drei Sprachen Werke veroffentlicht. Als ehemaliger Student (und haufig als Mitarbeiter ) von Newton da Costa, arbeitet er im Gebiet der Logik -- besonders in paraconsistenter Logik und allgemeine Logik. Er wurde an der Universitat von Sao Paulo in Philosophie und an der Universitat von Paris in Logik und Grundlagen in Computerwissenschaften promoviert. Beziau ist Chefeditor und Grunder der Zeitung Logica Universalis und der Buchreihe Studies in Universal Logic.

Recensioner i media

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)

Innehållsförteckning

1. Paul Hertz (1922), «Über Axiomensysteme für beliebige Satzsysteme, Teil. 1» .- 2. Paul Bernays (1926), «Axiomatische Untersuchung des Aussagenkalküls des Principia Mathematica» .- 3. Alfred Tarski (1928), «Remarques sur les notions fondamentales de la méthodologie des mathématiques».- 4. Kurt Gödel (1933), «Eine Interpretation des intuitionistischen Aussagenkalküls».- 5. Louis Rougier (1941), «The relativity of logic».- 6. Haskell B. Curry (1952), Leçons de logique algébrique (Translation of extracts).- 7. Jerzy Los and Ronam Suszko (1958), «Remarks on sentential logics».- 8. Saul Kripke (1963), «Semantical Considerations on Modal Logic».- 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).- 10. Per Lindström (1969), « On extensions of elementary logic ».- 11. Stephen L.Bloom, Donald J.Brown et Roman Suszko (1970), «Some theorems on abstract logics».- 12. Dana Scott (1974), «Completeness and axiomatizability in many-valued logic».- 13. Joseph Goguen and Rod Burstall (1984), «Introducing institutions».- 14. Andrea Loparic and Newton da Costa (1984), «Paraconsistency, paracompleteness and valuations».- 15. Dov Gabbay, «Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logic» (extracts).