Jean-Yves (Hrsg.) Béziau

Universal Logic: An Anthology

From Paul Hertz to Dov Gabbay

Buch

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.

CHF 120.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

V301: Libri-Titel folgt in ca. 2 Arbeitstagen

Produktdetails

ISBN: 978-3-0346-0144-3
EAN: 9783034601443
Produktnummer: 8263345
Verlag: Springer Basel AG
Sprache: Englisch
Erscheinungsjahr: 2012
Seitenangabe: 410 S.
Masse: H24.0 cm x B16.8 cm x D2.2 cm 714 g
Gewicht: 714

Über den Autor

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.