Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
Obra que reúne ensayos publicados con motivo del cumpleaños 90 del matemático canadiense, nacido en Alemania, Jim Lambek, quien hizo contribuciones importantes al campo del álgebra, a la teoría de categorías, a la lógica y a la teoría de la demostración; sus alumnos, y destacados investigadores, exp...
Guardado en:
| Otros autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ; Folli Publications on Logic, Language and Information)
8222. |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| Resumen: | Obra que reúne ensayos publicados con motivo del cumpleaños 90 del matemático canadiense, nacido en Alemania, Jim Lambek, quien hizo contribuciones importantes al campo del álgebra, a la teoría de categorías, a la lógica y a la teoría de la demostración; sus alumnos, y destacados investigadores, exponen en sus textos las ideas de Lambek y dan cuenta de su influencia en las nuevas generaciones de académicos. Contiene: Unificación semántica; Sobre la residuación; Similitud de tipo para el cálculo de Lambek-Grishin revisado; NP-Completitud de gramáticas basadas en productos de pregrupos libres; Semántica distribucional: una visión montagoviana; Una base lógica para la evolución cuántica y el entrelazamiento; Aprendiendo gramáticas de Lambek a partir de marcos de prueba; Residuo clasificado múltiple; Patrones clíticos italianos en gramática pregrupal; Sobre el cálculo asociativo de Lambek ampliado con axiomas propios básicos; Estructuras clásicas basadas en unitarios; Algebras iniciales de términos con vinculación y estructura algebraica; Sistemas tensoriales abstractos como categorías monoidales; Sobre incrustaciones canónicas de grupoides residuales; L-Completitud del cálculo de Lambek con la operación de inversión que permite antecedentes vacíos; Una nota sobre los lenguajes Dyck multidimensionales; Cálculos de Lambek extendidos y lógica lineal de primer orden; Una lógica de tipo categorial; Persiguiendo diagramas en criptografía; El cálculo monótono de Lambek es NP-completo; Un análisis matemático de la trinidad de Masaccio; Las reglas estructurales ocultas del cálculo de Lambek discontinuo. |
|---|---|
| Descripción física: | 1 libro electrónico en línea (XII, 421 p.) 1 recurso en línea |
| ISBN: | 978-3-642-54789-8 |
| Acceso: | Licencias ilimitadas |