ML-1998-10: Characterization Results for d-Horn Formulas

ML-1998-10: Areces, Carlos and Becher, Verónica and Ferro, Sebastián (1998) Characterization Results for d-Horn Formulas. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (91kB)
[thumbnail of Abstract] Text (Abstract)

Download (686B)


Characterization Results for d­Horn 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 first­order logic which we call d­Horn 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 first­order restrictions.
Keywords: Horn Formulas, d­Horn Formulas, Model Theoretic Characterizations.

Item Type: Report
Report Nr: ML-1998-10
Series Name: Mathematical Logic and Foundations (ML)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item