| Authors: | Kapetanović, Miodrag | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | On theories with the general disjunction property | Journal: | Algebra Universalis | Volume: | 57 | Issue: | 1 | First page: | 127 | Last page: | 129 | Issue Date: | 1-Aug-2007 | Rank: | M22 | ISSN: | 0002-5240 | DOI: | 10.1007/s00012-007-1992-6 | Abstract: | A property is defined which generalizes both the disjunction property and the instantiation property of Horn clause theories. A necessary and sufficient condition is given for a theory in order to have that property and examples are used to show its applicability. |
Keywords: | Disjunction property | Horn theory | Publisher: | Springer Link |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.