✦ LIBER ✦

On maximal intermediate logics with the disjunction property

✍ Scribed by Larisa L. Maksimova

Publisher: Springer Netherlands
Year: 1986
Tongue: English
Weight: 373 KB
Volume: 45
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01881550

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Continuality of the set of maximal super

Continuality of the set of maximal superintuitionistic logics with the disjunction property

✍ A. V. Chagrov 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 408 KB

Two classes of intermediate propositiona

Two classes of intermediate propositional logics without disjunction property

✍ Fabio Bellissima 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 485 KB

The simple substitution property of the

The simple substitution property of the intermediate propositional logics on finite slices

✍ Katsumi Sasaki 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 857 KB

Quantum logics with the existence proper

Quantum logics with the existence property

✍ Christian Schindler 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 878 KB 👁 1 views

Axiomatic extensions of the constructive

Axiomatic extensions of the constructive logic with strong negation and the disjunction property

✍ Andrzej Sendlewski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 705 KB

Quantum logics with the Riesz Interpolat

Quantum logics with the Riesz Interpolation Property

✍ Anatolij Dvurečenskij; Pavel Pták 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 105 KB 👁 1 views

## Abstract We study the quantum logics which satisfy the Riesz Interpolation Property. We call them the RIP logics. We observe that the class of RIP logics is considerable large—it contains all lattice quantum logics and, also, many (infinite) non‐lattice ones. We then find out that each RIP logic