Tablas semánticas para fórmulas satisfacibles en dominios finitos

• Published in: Teorema 2007-01, Vol.26 (1), p.5-19
• Main Author: Fernández, Ángel Nepomuceno
• Format: Article
• Language: Spanish
• ISSN: 0210-1602

In this work we define a semantics in terms of finite structures for a first order formal language. We use semantic tableaux, with the δ'-rule instead of the δ-rule, in order to study interpretative structures whose universe has a determined cardinality. These modified tableaux prove to be useful for investigating in the field of finite models, specifically to determine whether a sentence is finitely satisfiable, and also to define its minimal models and if it is a logical consequence of other sentences, in a sense that is specified in the paper. En este trabajo definimos una semántica en términos de estructuras finitas para un lenguaje formal de predicados de primer orden. Hacemos uso de las tablas semánticas, con la regla δ' en lugar de la regla δ, para estudiar estructuras interpretativas cuyo universo es de determinada cardinalidad. Estas tablas modificadas se revelan útiles para algunas indagaciones en el campo de los modelos finitos, concretamente, para determinar si una sentencia es finitamente satisfacible; en su caso, para definir modelos mínimos de ésta y si es consecuencia lógica de otras sentencias, en un sentido que se especifica en el propio trabajo.