3 search results - page 1 / 1 » How to Universally Close the Existential Rule |
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
ICTAI
2007
IEEE
13 years 11 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
PPDP
2009
Springer
13 years 11 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...