000 | 03353nam a22003495i 4500 | ||
---|---|---|---|
001 | 318454 | ||
003 | MX-SnUAN | ||
005 | 20160429161134.0 | ||
007 | cr nn 008mamaa | ||
008 | 160108s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319101934 _9978-3-319-10193-4 |
||
035 | _avtls000418318 | ||
039 | 9 |
_y201601081152 _zstaff |
|
050 | 4 | _aQA8.9-10.3 | |
245 | 1 | 4 |
_aThe road to universal logic : _bfestschrift for 50th birthday of jean-yves béziau volume I / _cedited by Arnold Koslow, Arthur Buchsbaum. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Birkhäuser, _c2015. |
|
300 |
_axii, 520 páginas : _b102 ilustraciones, 51 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 | _aPreface -- Ibn Sina’s Two?Partite versus Nine?Partite Logicography by Musa Akrami.- Homotopical categories of logics by Peter Arndt -- Semi?implication: A Chapter in Universal Logic by Arnon Avron -- A Formal Framework for Hypersequent Calculi and their Fibring by Marcelo Esteban Coniglio and Martin Figallo -- Investigating Knowledge and Opinion by John Corcoran and Idris Samawi Ha -- The Algebra of Opposition (and universal logic interpretations) by Razvan Diaconescu -- Universal Logic as the Science of Patterns by Brian Gaines -- Hexagonal Logic of the Field F8 as a Boolean Logic with Three Involutive Modalities by René Guitart -- The move from one to two quantifiers by Wilfrid Hodges -- On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening by Laurence Horn -- Aristotle on Language and Universal Proof by Jean?Louis Hudry -- Béziau on And and Or by Lloyd Humberstone -- Universal Logic or Logics in Resemblance Families by Dale Jacquette -- Causality and Attribution in an Aristotelian Theory by Srecko Kovac -- Using Each Other's Words by Marcus Kracht -- On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” by Javier Legris -- Caramuel and the “Quantification of the Predicate” by Wolfgang Lenzen -- Lossy Inference Rules and their Bounds: a Brief Review by David Makinson and James Hawthorne -- Nonsets by Daniel Parrochia -- A Roadmap to Decidability by João Rasga, Cristina Sernadas and Amílcar Sernadas -- John Buridan on Non?Contingency Syllogisms by Stephen Read -- Symbolic Existence in Hugh MacColl: a dialogical approach by Juan Redmond -- Beziau's Contributions to the Logical Geometry of Modalities and Quantifiers by Hans Smessaert and Lorenz Demey -- On Metalogical Pluralism by Vladimir L. Vasyukov -- Constructivism and Metamathematics by Jan Wole?ski. . | |
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: _z9783319101927 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-10193-4 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c318454 _d318454 |