Verónica Becher

Characterization Results for d-Horn Formulas

1998, Proceedings of ITALLC'98. Information Theoretic Approaches to Logic …, 1998
Citas: 1
Agregar PDF Importar citas Importar citas SCRAPME Plots Conexiones

Autor(es)

Carlos Areces and Verónica Becher and Sebastián Ferro

URL Pública

https://eprints.illc.uva.nl/id/eprint/1399/1/ML-1998-10.text.ps.gz

Abstract

Characterization Results for dHorn Formulas (or: On formulas that are true on Dual Reduced Products) Carlos Areces, Ver\'onica Becher Sebasti\'an Ferro We provide two different model theoretic characterizations of a new fragment of firstorder logic which we call dHorn formulas. This fragment is dual to the well know Horn fragment and have the same complexity for provability. The method used in the characterization (syntactic translation functions between formulas which are mimicked by translation functions between models) might be applied to characterize other firstorder restrictions. Keywords: Horn Formulas, dHorn Formulas, Model Theoretic Characterizations.

Plot de citas