| Creator |
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Issue |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| Crossref DOI |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
A formal system, we deal with in this paper, is a set of formulas of the form $ P_1(t_1) leftarrow P_2(t_2) \binampersand cdots \binampersand P_n(t_n) $, where $ P_1, P_2, cdots, P_n $ are predicate s...ymbols and $ t_1, t_2, cdots, t_n $ are strings of constant symbols and variable symbols. The language defined by a formal system $ E $ is a set of constant strings $ t $ such that $ P_i(t) $ is provable from $ E $ by using rules of modus ponens and substitutions of constant strings for variable symbols. We restrict formal systems so as to contain only two formulas of a predicate, and also restrict substitutions not to map any variable to empty string. The class of languages defined by our restricted formal systems is a natural extension of Angluin's pattern languages. We show that the class is inferable from positive data.show more
|
Export Mendeley
p009