AbstractWe develop a Sahlqvist theory by introducing the class of hybrid inductive formulas. Each hybrid inductive formula is shown to have an effectively calculable first-order local frame correspondent. We define two subclasses, called the nominally skeletal and skeletal hybrid inductive formulas. We show that members of these subclasses are, respectively, preserved under canonical extensions and Dedekind–MacNeille completions of certain hybrid algebras, which is enough to ensure that these formulas axiomatize relationally complete logics. The key methodological tool in proving these results is a hybrid version of the ALBA algorithm, which we formulate and call hybrid-ALBA.
Journal of Logic and Computation – Oxford University Press
Published: Apr 1, 2017
It’s your single place to instantly
discover and read the research
that matters to you.
Enjoy affordable access to
over 12 million articles from more than
10,000 peer-reviewed journals.
All for just $49/month
It’s easy to organize your research with our built-in tools.
All the latest content is available, no embargo periods.
“Whoa! It’s like Spotify but for academic articles.”@Phil_Robichaud