![]() |
CiteULike | ![]() |
Scis0000002's CiteULike | ![]() |
![]() |
|
![]() |
Register | ![]() |
Log in | ![]() |
The Best Possible Unification for any Collection of Physical Theories Export |
Reviews
[Write a review of this article]
There are no reviews of this article
Find related articles from these CiteULike users
Find related articles with these CiteULike tags
Posting History
AbstractIt is shown that the set of all finitary consequence operators defined on any nonempty language is a join-complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted supremum unification.
BibTeX record
RIS record| 79 | |
| 77 | |
| 67 | |
| 67 | |
| 60 | |
| 59 | |
| 57 | |
| 55 | |
| 55 | |
| 54 | |
| 54 | |
| 50 | |
| 50 | |
| 49 | |
| 49 | |
| 47 | |
| 47 | |
| 46 | |
| 46 | |
| 45 | |
| 45 | |
| 45 | |
| 44 | |
| 44 | |
| 44 | |
| 43 | |
| 42 | |
| 42 | |
| 41 | |
| 41 | |
| 41 | |
| 41 | |
| 41 | |
| 40 | |
| 40 | |
| 40 | |
| 40 | |
| 38 | |
| 38 | |
| 38 | |
| 38 | |
| 38 | |
| 37 | |
| 37 | |
| 37 | |
| 37 | |
| 37 | |
| 37 | |
| 36 | |
| 34 | |
| 34 | |
| 34 | |
| 34 | |
| 33 | |
| 33 | |
| 33 | |
| 32 | |
| 32 | |
| 32 | |
| 32 | |
| 32 | |
| 32 | |
| 32 | |
| 32 | |
| 32 | |
| 31 | |
| 31 | |
| 31 | |
| 31 | |
| 30 | |
| 30 | |
| 30 | |
| 29 | |
| 29 | |
| 29 | |
| 29 | |
| 28 | |
| 28 | |
| 28 | |
| 28 | |
| 28 | |
| 28 | |
| 28 | |
| 28 | |
| 28 | |
| 27 | |
| 27 | |
| 27 | |
| 27 | |
| 27 | |
| 26 | |
| 26 | |
| 26 | |
| 26 | |
| 26 | |
| 26 | |
| 26 | |
| 25 | |
| 25 | |
| 25 | |
| 25 | |
| 25 | |
| 25 | |
| 25 | |
| 25 | |
| 24 | |
| 24 | |
| 24 | |
| 24 | |
| 24 | |
| 24 | |
| 24 | |
| 24 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 23 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 22 | |
| 21 | |
| 21 | |
| 21 | |
| 21 | |
| 21 | |
| 21 | |
| 21 | |
| 21 | |
| 21 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 20 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 19 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 18 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 17 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 16 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 15 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 14 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 13 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 12 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 11 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 10 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 | |
| 9 |


