𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Forcing operators on MTL-algebras

✍ Scribed by Denisa Diaconescu; George Georgescu

Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
166 KB
Volume
57
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

We study the forcing operators on MTL-algebras, an algebraic notion inspired by the Kripke semantics of the monoidal t-norm based logic (MTL). At logical level, they provide the notion of the forcing value of an MTL-formula. We characterize the forcing operators in terms of some MTL-algebras morphisms. From this result we derive the equality of the forcing value and the truth value of an MTL-formula.

πŸ“œ SIMILAR VOLUMES

Unsupported Boolean algebras and forcing
Unsupported Boolean algebras and forcing
✍ MiloΕ‘ S. KuriliΔ‡ πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 179 KB

## Abstract If __ΞΊ__ is an infinite cardinal, a complete Boolean algebra B is called __ΞΊ__‐supported if for each sequence γ€ˆ__b~Ξ²~__ : __Ξ²__ < __ΞΊ__〉 of elements of B the equality $ \wedge$~__Ξ±__<__ΞΊ__~ $ \vee$~__Ξ²__>__Ξ±__~ __b~Ξ²~__ = $ \vee$ $ \wedge$~__Ξ²__∈__A__~ __b__~__Ξ²__~ holds. Combinatorial

Heyting Algebras with Operators
Heyting Algebras with Operators
✍ Yasusi Hasimoto πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 183 KB

In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answ