Artículos relacionados a Álgebras de Hilbert acotadas con operaciones adicionales
Sinopsis
El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n−valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional implicativo positivo. Es bien conocido que las álgebras de Hilbert son la contrapartida algebraica del fragmento implicativo del cálculo proposicional intuicionista y fueron introducidas, en 1950, por L. Henkin. El estudio algebraico de las álgebras de Hilbert es desarrollado por A. Monteiro y por A. Diego. Es particularmente interesante la subvariedad que satisface el axioma de Ivo Thomas. Este axioma nos llevó a considerar álgebras de Hilbert con operaciones unarias adicionales. En este artículo realizamos algo similar a lo hecho por Gr. Moisil en el caso de las álgebras de Lukasiewicz, pero continuando con la operación básica de implicación intuicionista.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n−valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional implicativo positivo. Es bien conocido que las álgebras de Hilbert son la contrapartida algebraica del fragmento implicativo del cálculo proposicional intuicionista y fueron introducidas, en 1950, por L. Henkin. El estudio algebraico de las álgebras de Hilbert es desarrollado por A. Monteiro y por A. Diego. Es particularmente interesante la subvariedad que satisface el axioma de Ivo Thomas. Este axioma nos llevó a considerar álgebras de Hilbert con operaciones unarias adicionales. En este artículo realizamos algo similar a lo hecho por Gr. Moisil en el caso de las álgebras de Lukasiewicz, pero continuando con la operación básica de implicación intuicionista.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 39,90
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Álgebras de Hilbert acotadas con operaciones adicionales
Imagen del vendedor
Álgebras de Hilbert acotadas con operaciones adicionales
Publicado por
Editorial Académica Española Jun 2019, 2019
ISBN 10: 6200012466
ISBN 13: 9786200012463
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n¿valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional implicativo positivo. Es bien conocido que las álgebras de Hilbert son la contrapartida algebraica del fragmento implicativo del cálculo proposicional intuicionista y fueron introducidas, en 1950, por L. Henkin. El estudio algebraico de las álgebras de Hilbert es desarrollado por A. Monteiro y por A. Diego. Es particularmente interesante la subvariedad que satisface el axioma de Ivo Thomas. Este axioma nos llevó a considerar álgebras de Hilbert con operaciones unarias adicionales. En este artículo realizamos algo similar a lo hecho por Gr. Moisil en el caso de las álgebras de Lukasiewicz, pero continuando con la operación básica de implicación intuicionista. 52 pp. Spanisch. Nº de ref. del artículo: 9786200012463
Cantidad disponible: 2 disponibles
Imagen del vendedor
Álgebras de Hilbert acotadas con operaciones adicionales
Publicado por
Editorial Académica Española, 2019
ISBN 10: 6200012466
ISBN 13: 9786200012463
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n¿valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional implicativo positivo. Es bien conocido que las álgebras de Hilbert son la contrapartida algebraica del fragmento implicativo del cálculo proposicional intuicionista y fueron introducidas, en 1950, por L. Henkin. El estudio algebraico de las álgebras de Hilbert es desarrollado por A. Monteiro y por A. Diego. Es particularmente interesante la subvariedad que satisface el axioma de Ivo Thomas. Este axioma nos llevó a considerar álgebras de Hilbert con operaciones unarias adicionales. En este artículo realizamos algo similar a lo hecho por Gr. Moisil en el caso de las álgebras de Lukasiewicz, pero continuando con la operación básica de implicación intuicionista. Nº de ref. del artículo: 9786200012463
Cantidad disponible: 1 disponibles
Imagen del vendedor
Álgebras de Hilbert acotadas con operaciones adicionales
Publicado por
Editorial Académica Española, 2019
ISBN 10: 6200012466
ISBN 13: 9786200012463
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 300038607
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Álgebras de Hilbert acotadas con operaciones adicionales
Publicado por
Editorial Académica Española Jun 2019, 2019
ISBN 10: 6200012466
ISBN 13: 9786200012463
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -El estudio de las lógicas polivalentes fue iniciado por Jan Lukasiewicz, quien definió un cálculo proposicional trivalente (1920) y luego descubrió los cálculos proposicionales n¿valentes e infinito valentes. En 1923 D. Hilbert introdujo el cálculo proposicional implicativo positivo. Es bien conocido que las álgebras de Hilbert son la contrapartida algebraica del fragmento implicativo del cálculo proposicional intuicionista y fueron introducidas, en 1950, por L. Henkin. El estudio algebraico de las álgebras de Hilbert es desarrollado por A. Monteiro y por A. Diego. Es particularmente interesante la subvariedad que satisface el axioma de Ivo Thomas. Este axioma nos llevó a considerar álgebras de Hilbert con operaciones unarias adicionales. En este artículo realizamos algo similar a lo hecho por Gr. Moisil en el caso de las álgebras de Lukasiewicz, pero continuando con la operación básica de implicación intuicionista.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 52 pp. Spanisch. Nº de ref. del artículo: 9786200012463
Cantidad disponible: 2 disponibles
Imagen de archivo
Álgebras de Hilbert acotadas con operaciones adicionales
Publicado por
Editorial Académica Española, 2019
ISBN 10: 6200012466
ISBN 13: 9786200012463
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 52 pages. Spanish language. 8.66x5.91x0.12 inches. In Stock. Nº de ref. del artículo: zk6200012466
Cantidad disponible: 1 disponibles