Importe total (1 artículo artículos):
Destino del pedido:
norihiro kamide (24 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (24)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (21)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (24)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (15)
- No impresión bajo demanda (11)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Proof Theory of N4-Paraconsistent Logics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,56
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Proof Theory of N4-Paraconsistent Logics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 24,01
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Proof Theory of N4-Paraconsistent Logics (Paperback or Softback)
Idioma: Inglés
Publicado por College Publications 1/20/2015, 2015
ISBN 10: 1848901674 ISBN 13: 9781848901674
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,37
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Proof Theory of N4-Paraconsistent Logics. Book.
-
Proof Theory of N4-Paraconsistent Logics
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 27,30
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Proof Theory of N4-Paraconsistent Logics
Idioma: Inglés
Publicado por College Publications 2015-01, 2015
ISBN 10: 1848901674 ISBN 13: 9781848901674
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 18,65
Envío por EUR 17,96
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Proof Theory of N4-Paraconsistent Logics
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 23,30
Envío por EUR 13,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Proof Theory of N4-Paraconsistent Logics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 21,61
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Proof Theory of N4-Paraconsistent Logics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 24,74
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Proof Theory of N4-Paraconsistent Logics
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 24,52
Envío por EUR 75,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Extending resource-aware logics | Proof systems, semantics and applications
Idioma: Inglés
Publicado por LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 66,40
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Extending resource-aware logics | Proof systems, semantics and applications | Norihiro Kamide | Taschenbuch | 268 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783844324280 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
-
Extending resource-aware logics: Proof systems, semantics and applications
Idioma: Inglés
Publicado por LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 174,32
Envío por EUR 28,98
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Proof Theory of N4Paraconsistent Logics
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 27,01
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Proof Theory of N4Paraconsistent Logics
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 23,23
Envío por EUR 5,82
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Proof Theory of N4-Paraconsistent Logics
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 36,80
Envío por EUR 7,53
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 414.
-
Proof Theory of N4-Paraconsistent Logics
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 25,06
Envío por EUR 20,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Proof Theory of N4-Paraconsistent Logics
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 43,71
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 414.
-
Proof Theory of N4-Paraconsistent Logics
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 36,68
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 414.
-
Proof Theory of N4-Paraconsistent Logics
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,73
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextThe present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson. The volume brings togethe.
-
Proof Theory of N4-Paraconsistent Logics
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 35,43
Envío por EUR 63,13
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson. The volume brings together a number of papers the authors have written separately or jointly on various systems of inconsistency-tolerant logic. The material covers the structural proof theory of¿ N4¿ its fragments, including first-degree entailment logic¿ related logics, such as trilattice logics, connexive systems, systems of symmetric and dual paraconsistent logic, and variations of bi-intuitionistic logic¿ paraconsistent temporal logics¿ substructural subsystems of N4, such as paraconsistent intuitionistic linear logics, paraconsistent logics based on involutive quantales, and paraconsistent Lambek logics.Although the proof-theory of N4 and N4-related logics is the central theme of the present monograph, models and model-theoretic semantics also play an important role in the presentation. The relational, Kripke-style models that are dealt with provide a motivating and intuitively appealing insight into the logics with respect to which they are shown to be sound and complete. Nevertheless, the emphasis is on Gentzen-style proof systems -in particular sequent calculi of a standard and less standard kind- for paraconsistent logics, and cut-elimination and its consequences are a central topic throughout. A unifying element of the presentation is the repeated application of embedding theorems in order to transfer results from other logics such as intuitionistic logic to the paraconsistent case.
-
Extending resource-aware logics
Idioma: Inglés
Publicado por LAP LAMBERT Academic Publishing Mrz 2011, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing resource-sensitive reasoning. In this book, we study (1) some temporal extensions (i.e., extensions by adding some temporal operators) of linear and non-commutative logics, (2) some generalizations of these temporal linear and non-commutative logics, (3) some paraconsistent and involutive extensions (i.e., extensions by adding a paraconsistent negation connective or an involution operator) of linear and non-commutative logics. 268 pp. Englisch.
-
Proof Theory of N4-Paraconsistent Logics
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 34,00
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Proof Theory of N4-Paraconsistent Logics | Norihiro Kamide (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2015 | College Publications | EAN 9781848901674 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Extending resource-aware logics
Idioma: Inglés
Publicado por LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 63,42
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Kamide NorihiroNorihiro Kamide received his Ph.D. in Information Science from Japan Advanced Institute of Science and Technology in 2000. His research interests include mathematical logic, philosophical logic, and logics in comput.
-
Extending resource-aware logics
Idioma: Inglés
Publicado por LAP LAMBERT Academic Publishing Mär 2011, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing resource-sensitive reasoning. In this book, we study (1) some temporal extensions (i.e., extensions by adding some temporal operators) of linear and non-commutative logics, (2) some generalizations of these temporal linear and non-commutative logics, (3) some paraconsistent and involutive extensions (i.e., extensions by adding a paraconsistent negation connective or an involution operator) of linear and non-commutative logics.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 268 pp. Englisch.
-
Extending resource-aware logics : Proof systems, semantics and applications
Idioma: Inglés
Publicado por LAP LAMBERT Academic Publishing, 2011
ISBN 10: 3844324283 ISBN 13: 9783844324280
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,00
Envío por EUR 62,09
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing resource-sensitive reasoning. In this book, we study (1) some temporal extensions (i.e., extensions by adding some temporal operators) of linear and non-commutative logics, (2) some generalizations of these temporal linear and non-commutative logics, (3) some paraconsistent and involutive extensions (i.e., extensions by adding a paraconsistent negation connective or an involution operator) of linear and non-commutative logics.
