000 04033nam a22003495i 4500
001 320542
003 MX-SnUAN
005 20160429161425.0
007 cr nn 008mamaa
008 160111s2015 gw | s |||| 0|eng d
020 _a9783319153681
_9978-3-319-15368-1
035 _avtls000420031
039 9 _y201601110923
_zstaff
050 4 _aQA8.9-10.3
245 1 4 _aThe road to universal logic :
_bfestschrift for the 50th birthday of jean-yves béziau volume ii /
_cedited by Arnold Koslow, Arthur Buchsbaum.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Birkhäuser,
_c2015.
300 _axv, 604 páginas :
_b250 ilustraciones, 180 ilustraciones en color.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aStudies in Universal Logic,
_x2297-0282
500 _aSpringer eBooks
505 0 _a1. 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 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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aKoslow, Arnold,
_eeditor.
_9362340
700 1 _aBuchsbaum, Arthur,
_eeditor.
_9362341
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783319153674
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-15368-1
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c320542
_d320542