{"product_id":"proof-theory-and-algebra-in-logic-9789811379963","title":"Teoría de la Demostración y Álgebra en Lógica","description":"Introducción.- Parte I Teoría de la demostración.- Sistemas de secuentes.- Eliminación de cortes para sistemas de secuentes.- Análisis teórico de la prueba de propiedades lógicas.- Lógicas modales y subestructurales.- Deducibilidad y extensiones axiomáticas.- Parte II Álgebra en lógica.- Álgebras de Boole y lógica clásica.- Álgebras multivaluadas.- Álgebras de Heyting y lógica intuicionista.- Lógicas y variedades.- Estructuras residuadas.- Álgebras modales.- Referencias.- Índice.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-3999936\"\u003eHiroakira Ono\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 19\/08\/2019\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 160\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.54 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.36d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9789811379963\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 9811379963\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-PHI\"\u003eFilosofía\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-PHI011000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT002010\"\u003eÁlgebra | Abstracta\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del autor\u003c\/b\u003e\u003cbr\u003eHiroakira Ono es profesor emérito del Instituto Avanzado de Ciencia y Tecnología de Japón (JAIST). Se trasladó a JAIST en 1993 después de trabajar en la Universidad de Hiroshima durante veinte años. Más tarde se convirtió en profesor distinguido hasta su jubilación de JAIST en 2012. Su principal interés es el estudio de las lógicas no clásicas, en particular las lógicas subestructurales y las lógicas intermedias, tanto desde el punto de vista sintáctico como semántico. Además de su libro coescrito sobre lógicas subestructurales en 2007, publicó seis libros de texto en japonés, incluyendo los de lógica y álgebra, uno de los cuales ganó reputación como uno de los libros de texto de lógica más populares en Japón desde su publicación en 1994.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44590161363181,"sku":"9789811379963","price":67.48,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_171b24a8-9a9d-4fd1-9f23-5f3ec50e91f9.jpg?v=1702254355","url":"https:\/\/sureshotbooks.com\/es\/products\/proof-theory-and-algebra-in-logic-9789811379963","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}