rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    non sort: The
    title: Road to Universal Logic
    sub title: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
  name:
    name part: Koslow, Arnold.
    role:
      role term: editor.
  name:
    name part: Buchsbaum, Arthur.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2015
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XV, 604 p. 250 illus., 180 illus. in color. online resource.
  abstract: 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 Béziau. 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 Béziau 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 Németi, Henri Prade. These essays will be of interest to all students and researchers interested in the nature and future of logic.
  table of contents: 1. Katarzyna Gan-Krzywoszyńska (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 Andréka and Istvan Németi: 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. Régis Angot-Pélissier: The relation between logic, set theory and topos theory as it is used by Alain Badiou -- 8. Jonas Becker Arenhart and Décio Krause: Potentiality and Contradiction in Quantum Mechanics -- 9. Diderik Batens: Two, many and differently many -- 10. Hilan Bensusan, Alexandre Costa-Leite and Edelcio Gonçalves de Souza: Logics and their galaxies -- 11. Otavio Bueno: Can Identity be relativized? -- 12. Luis Estrada-González: 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. Sérgio 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 Om…
  note: edited by Arnold Koslow, Arthur Buchsbaum.
  subject:
    topic: Mathematics
  subject:
    topic: Logic
  subject:
    topic: History
  subject:
    topic: Mathematical logic
  subject:
    topic: Mathematics
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Logic
  subject:
    topic: History of Mathematical Sciences
  classification: QA8.9-10.3
  classification: 511.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Studies in Universal Logic
  identifier: 9783319153681
  identifier: http://dx.doi.org/10.1007/978-3-319-15368-1
  record info:
    record creation date: 150518
    record change date: 20151030051701.0
    record identifier: 978-3-319-15368-1