Splitting lattices of logics
β Scribed by Rautenberg, Wolfgang
- Publisher
- Springer-Verlag
- Year
- 1980
- Weight
- 277 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0003-9268
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4:3, has exactly two automorphisms, NExt K:alt1 has continuously many automorphisms. Moreover, any automorphism of NExt S4
Although the characterizing membership functions of fuzzy sets normally have as their range the interval [0, 1], it is possible for the range to be a partially ordered set. The use of lattices for this set is explored. Various forms of restricted infinite lattice are considered. Rose's logical opera