Cantitate/Preț
Produs
Total produse
Vezi coșul
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay de Jean-Yves Béziau

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

Editat de Jean-Yves Béziau
en Limba Engleză Paperback – 2 apr 2012
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.
Citește tot Restrânge

Din seria Studies in Universal Logic

  • 14% Decidability of Logical Theories and Their Combination
    Preț: 38271 lei
  • 17% Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
    Preț: 36502 lei
  • Completeness Theory for Propositional Logics
    Preț: 37904 lei
  • 15% Institution-independent Model Theory
    Preț: 63994 lei
  • 15% Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
    Preț: 56973 lei
  • Around and Beyond the Square of Opposition
    Preț: 38939 lei
  • 15% Visual Reasoning with Diagrams
    Preț: 62552 lei
  • 15% Towards a General Theory of Classifications
    Preț: 63097 lei
  • The Life and Work of Leon Henkin: Essays on His Contributions
    Preț: 38790 lei
  • The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
    Preț: 39787 lei
  • Towards an Arithmetical Logic: The Arithmetical Foundations of Logic
    Preț: 37638 lei
  • Modern Logic 1850-1950, East and West
    Preț: 38129 lei
  • 15% The Square of Opposition: A Cornerstone of Thought
    Preț: 52149 lei
  • 24% The Lvov-Warsaw School. Past and Present
    Preț: 80217 lei
  • 15% Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
    Preț: 57629 lei
  • 15% Language, Logic, and Mathematics in Schopenhauer
    Preț: 58015 lei
  • 15% Logical Skills: Social-Historical Perspectives
    Preț: 68322 lei
  • 18% The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition
    Preț: 93433 lei
  • 18% Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    Preț: 110706 lei
  • 15% Universal Algebraic Logic: Dedicated to the Unity of Science
    Preț: 62970 lei
  • 18% Logic - Language - Ontology: Selected Works
    Preț: 77215 lei
  • Universal Algebraic Logic: Dedicated to the Unity of Science
    Preț: 33551 lei

Preț: 39127 lei

Nou

Puncte Express: 587
Preț estimativ în valută:
7489€ • 7857$ • 6212£

Carte tipărită la comandă

Livrare economică 29 ianuarie-12 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783034601443
ISBN-10: 3034601441
Pagini: 430
Ilustrații: XVIII, 410 p. 155 illus.
Dimensiuni: 168 x 240 x 25 mm
Greutate: 0.68 kg
Ediția:2012
Editura: Springer
Colecția Birkhäuser
Seria Studies in Universal Logic

Locul publicării:Basel, Switzerland

Public țintă

Research

Cuprins

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

Recenzii

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)

Notă biografică

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.

Textul de pe ultima copertă

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.

Caracteristici

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