Un cálculo temporal de predicados de tipo modal
-
-
[1] Universidad Nacional de Colombia
Universidad Nacional de Colombia
Colombia
-
- Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 2, Nº. 2, 1995, págs. 121-140
- Idioma: español
- Enlaces
-
Resumen
- español
Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo suficiente para que sirva como marco lógico sobre el cual pueda construirse en el futuro una teoría temporal de conjuntos
- English
A first-order temporal calculus is constructed, with a natural semantics given by structures which grow with time. Rules and schemas of the calculus are developped to allow a temporal set theory based on it
- español
