Firma (lógica)
En cálculo de predicados y álgebra universal , una firma es una lista de símbolos de constante, función o relación , cada uno con una aridad . En algunos formalismos, para tener menos palabras, la firma es una lista de pares (símbolo, aridad). La firma proporciona los elementos primitivos para la construcción de un lenguaje de primer orden en esta firma. Al calcular predicados para varios tipos de objetos y en la teoría de tipos , cada símbolo tiene un tipo (aridad no es suficiente).
Por ejemplo, la firma de la teoría de grupos es:
forma abreviada : , símbolos de función de arity respectivamente 2, 1 y 0, o forma extendida: donde la indicación de aridad es parte de la firma.
Ver también
- Teoría de modelos
- Estructura (lógica matemática)
- Notaciones infijadas, prefijadas, polacas y prefijadas
Referencias
- La aridad es un número natural que indica el número de argumentos. Un símbolo constante puede verse como un símbolo de función con aridad 0.
Bibliografía
- (en) Burris, Stanley N. y HP Sankappanavar, HP, 1981. Un curso de álgebra universal. Springer-Verlag. ( ISBN 3540905782 ) . Véanse en particular las págs. 22-24.
- René Cori y Daniel Lascar , Lógica matemática I.Cálculo proposicional, álgebras de Boole, cálculo de predicados [ detalle de ediciones ]
- (en) Terese, Term Rewriting Systems , Cambridge Tracts in Theoretical Computer Science , 2003 ( ISBN 0521391156 )
- (en) Franz Baader y Tobias Nipkow, Term Rewriting and All That , Cambridge University Press , 1998 ( ISBN 0521779200 )