The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau 2
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Birkhäuser Springer
2015
|
| Schriftenreihe: | Studies in universal logic
Studies in universal logic |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-861 DE-91 DE-19 DE-703 DE-20 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV042783215 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150828s2015 xx a||| o|||| 01||| eng d | ||
| 020 | |a 9783319153681 |c Online |9 978-3-319-15368-1 | ||
| 024 | 7 | |a 10.1007/978-3-319-15368-1 |2 doi | |
| 035 | |a (OCoLC)920784368 | ||
| 035 | |a (DE-599)BVBBV042783215 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-703 |a DE-20 |a DE-739 |a DE-634 |a DE-861 |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a The road to universal logic |b festschrift for 50th birthday of Jean-Yves Béziau |n 2 |c Arnold Koslow ..., ed. |
| 264 | 1 | |a Cham [u.a.] |b Birkhäuser Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XV, 604 S.) |b 250 illus., 180 illus. in color | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in universal logic | |
| 490 | 0 | |a Studies in universal logic | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a History of Mathematical Sciences | |
| 650 | 4 | |a Mathematik | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Koslow, Arnold |e Sonstige |4 oth | |
| 700 | 1 | |a Beziau, Jean-Yves |d 1965- |0 (DE-588)130414751 |4 hnr | |
| 773 | 0 | 8 | |w (DE-604)BV042205889 |g 2 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-15367-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-15368-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028213209&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028213209&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028213209 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-634 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-861 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-91 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-19 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-703 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-20 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15368-1 |l DE-739 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2132060 |
|---|---|
| DE-BY-UBM_katkey | 5157648 |
| _version_ | 1823055726798438400 |
| adam_text | THE ROAD TO UNIVERSAL LOGIC
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
1. KATARZYNA GAN-KRZYWOSZYNSKA (EDITED BY): PERSONAL RECOLLECTIONS
ABOUT JYB BY NEWTON DA COSTA AND OTHERS
2. JEAN-YVES BEZIAU: LOGICAL AUTOBIOGRAPHY 50
3. MARCOS ANTONIO ALVES AND ITALA M. LOFFREDO D’OTTAVIANO: A
QUANTITATIVE-INFORMATIONAL APPROACH TO LOGICAL CONSEQUENCE
4. HAJNAL ANDREKA AND ISTVAN NEMETI: FINITE-VARIABLE LOGICS DO NOT
HAVE WEAK BETH DEFINABILITY PROPERTY
5. IRVING ANELLIS: PEIRCE’S ROLE IN THE HISTORY OF LOGIC: LINGUA
UNIVERSALIS AND CALCULUS RATIOCINATOR
6. IGNACIO ANGELELLI: THE MEANING(S) OF “IS”: NORMATIVE VS.
NATURALISTIC VIEWS OF LANGUAGE
7. REGIS ANGOT-PELISSIER: THE RELATION BETWEEN LOGIC, SET THEORY AND
TOPOS THEORY AS IT IS USED BY ALAIN BADIOU
8. JONAS BECKER ARENHART AND DECIO KRAUSE: POTENTIALITY AND
CONTRADICTION IN QUANTUM MECHANICS
9. DIDERIK BATENS: TWO, MANY AND DIFFERENTLY MANY
10. HILAN BENSUSAN, ALEXANDRE COSTA-LEITE AND EDELCIO GONCALVES DE
SOUZA: LOGICS AND THEIR GALAXIES
11. OTAVIO BUENO: CAN IDENTITY BE RELATIVIZED?
12. LUIS ESTRADA-GONZALEZ: FROM (PARACONSISTENT) TOPOS LOGIC TO
UNIVERSAL (TOPOS) LOGIC
13. YVON GAUTHIER: A NOTE ON THE INTERNAL LOGIC OF CONSTRUCTIVE
MATHEMATICS: THE GEL’FOND-SCHNEIDER THEOREM IN TRANSCENDENTAL NUMBER
THEORY
14. I. GRATTAN-GUINNESS: IS LOGIC UNIVERSAL OR HIERARCHICAL?
15. DANY JASPERS: THE ENGLISH TENSES, BLANCHE AND THE LOGICAL KITE
16. AZRIEL LAUFER AND DOV GABBAY: TOPOLOGICAL ASPECTS OF MATRIX
ABDUCTION 1
17. MAI BEN ADAR BESSOS AND DOV GABBAY: TOPOLOGICAL ASPECTS OF MATRIX
ABDUCTION 2
18. SERGIO MARCELINO, CARLOS CALEIRO AND PEDRO BALTAZAR: DECIDING
THEOREMHOOD IN FIBRED LOGICS WITHOUT SHARED CONNECTIVES
19. AMIROUCHE MOKTEFI AND FABIEN SCHANG: ON RULES AND REFEREEING IN
FOOTBALL
20. ALESSIO MORETTI: ARROW - HEXAGONS
21. TILL MOSSAKOWSKI, MIHAI CODESCU, FABIAN NEUHAUS, AND OLIVER KUTZ:
THE DISTRIBUTED ONTOLOGY, MODELLING AND SPECIFICATION LANGUAGE – DOL
22. SERGEI ODINTSOV: BELNAP CONSTANTS AND NELSON LOGIC
23. HITOSHI OMORI AND TOSHIHARU WARAGAI: NEGATIVE MODALITIES IN THE
LIGHT OF PARACONSISTENCY
24. OLGA POMBO: OPERATIVITY AND REPRESENTATIVITY OF THE SIGN IN LEIBNIZ
25. HENRI PRADE AND DIDIER DUBOIS: BEING CONSISTENT ABOUT INCONSISTENCY:
TOWARD THE RATIONAL FUSING OF INCONSISTENT PROPOSITIONAL LOGIC BASES
26. GIUSEPPE PRIMIERO: REALIST CONSEQUENCE, EPISTEMIC INFERENCE,
COMPUTATIONAL CORRECTNESS
27. CHRISTIAN DE RONDE: EPISTEMOLOGICAL AND ONTOLOGICAL PARACONSISTENCY
IN QUANTUM MECHANICS: FOR AND AGAINST BOHRIAN PHILOSOPHY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
THE ROAD TO UNIVERSAL LOGIC
/
: 2015
ABSTRACT / INHALTSTEXT
THIS SECOND VOLUME OF A COLLECTION OF PAPERS OFFERS NEW PERSPECTIVES AND
CHALLENGES IN THE STUDY OF LOGIC. IT IS PRESENTED IN HONOR OF THE
FIFTIETH BIRTHDAY OF JEAN-YVES BEZIAU. THE PAPERS TOUCH UPON A WIDE
RANGE OF TOPICS INCLUDING PARACONSISTENT LOGIC, QUANTUM LOGIC, GEOMETRY
OF OPPOSITIONS, CATEGORICAL LOGIC, COMPUTATIONAL LOGIC, FUNDAMENTAL
LOGIC NOTIONS (IDENTITY, RULE, QUANTIFICATION) AND HISTORY OF LOGIC
(LEIBNIZ, PEIRCE, HILBERT). THE VOLUME GATHERS PERSONAL RECOLLECTIONS
ABOUT JEAN-YVES BEZIAU AND AN AUTOBIOGRAPHY, FOLLOWED BY 25 PAPERS
WRITTEN BY INTERNATIONALLY DISTINGUISHED LOGICIANS, MATHEMATICIANS,
COMPUTER SCIENTISTS, LINGUISTS AND PHILOSOPHERS, INCLUDING IRVING
ANELLIS, DOV GABBAY, IVOR GRATTAN-GUINNESS, ISTVAN NEMETI, HENRI PRADE.
THESE ESSAYS WILL BE OF INTEREST TO ALL STUDENTS AND RESEARCHERS
INTERESTED IN THE NATURE AND FUTURE OF LOGIC
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)130414751 |
| building | Verbundindex |
| bvnumber | BV042783215 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)920784368 (DE-599)BVBBV042783215 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-319-15368-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02804nam a2200565 cc4500</leader><controlfield tag="001">BV042783215</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150828s2015 xx a||| o|||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319153681</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-15368-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-15368-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920784368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042783215</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The road to universal logic</subfield><subfield code="b">festschrift for 50th birthday of Jean-Yves Béziau</subfield><subfield code="n">2</subfield><subfield code="c">Arnold Koslow ..., ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Birkhäuser Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 604 S.)</subfield><subfield code="b">250 illus., 180 illus. in color</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in universal logic</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in universal logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History of Mathematical Sciences</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Koslow, Arnold</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beziau, Jean-Yves</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)130414751</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV042205889</subfield><subfield code="g">2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-15367-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028213209&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028213209&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028213209</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15368-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV042783215 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T17:41:49Z |
| institution | BVB |
| isbn | 9783319153681 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028213209 |
| oclc_num | 920784368 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| physical | 1 Online-Ressource (XV, 604 S.) 250 illus., 180 illus. in color |
| psigel | ZDB-2-SMA |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Birkhäuser Springer |
| record_format | marc |
| series2 | Studies in universal logic |
| spellingShingle | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau Mathematics Logic Logic, Symbolic and mathematical Mathematical Logic and Foundations History of Mathematical Sciences Mathematik |
| subject_GND | (DE-588)4016928-5 |
| title | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau |
| title_auth | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau |
| title_exact_search | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau |
| title_full | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau 2 Arnold Koslow ..., ed. |
| title_fullStr | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau 2 Arnold Koslow ..., ed. |
| title_full_unstemmed | The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau 2 Arnold Koslow ..., ed. |
| title_short | The road to universal logic |
| title_sort | the road to universal logic festschrift for 50th birthday of jean yves beziau |
| title_sub | festschrift for 50th birthday of Jean-Yves Béziau |
| topic | Mathematics Logic Logic, Symbolic and mathematical Mathematical Logic and Foundations History of Mathematical Sciences Mathematik |
| topic_facet | Mathematics Logic Logic, Symbolic and mathematical Mathematical Logic and Foundations History of Mathematical Sciences Mathematik Festschrift |
| url | https://doi.org/10.1007/978-3-319-15368-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028213209&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028213209&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV042205889 |
| work_keys_str_mv | AT koslowarnold theroadtouniversallogicfestschriftfor50thbirthdayofjeanyvesbeziau2 AT beziaujeanyves theroadtouniversallogicfestschriftfor50thbirthdayofjeanyvesbeziau2 |