✦ LIBER ✦

Definability and automorphisms in abstract logics

✍ Scribed by Xavier Caicedo

Publisher: Springer
Year: 2004
Tongue: English
Weight: 160 KB
Volume: 43
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-004-0248-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation and definability in abstra

Interpolation and definability in abstract logics

✍ Finn V. Jensen 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 277 KB

Definability and Interpolation in Non-Cl

Definability and Interpolation in Non-Classical Logics

✍ Larisa Maksimova 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 245 KB

Automorphisms and symmetries of quantum

Automorphisms and symmetries of quantum logics

✍ Věra Trnková 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 838 KB 👁 1 views

Errata: Automorphisms and symmetries of

Errata: Automorphisms and symmetries of quantum logics

✍ Vera Trnková 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 53 KB 👁 1 views

Lattices of modal logics and their group

Lattices of modal logics and their groups of automorphisms

✍ Marcus Kracht 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 330 KB

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

Automorphisms of orthomodular lattices a

Automorphisms of orthomodular lattices and symmetries of quantum logics

✍ Věra Trnková 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 361 KB