✦ LIBER ✦

Heyting Algebras with Operators

✍ Scribed by Yasusi Hasimoto

Publisher: John Wiley and Sons
Year: 2001
Tongue: English
Weight: 183 KB
Volume: 47
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200105)47:2<187::aid-malq187>3.0.co;2-j

No coin nor oath required. For personal study only.

✦ Synopsis

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 answers the question posed in Wolter [4] .

📜 SIMILAR VOLUMES

n-linear weakly Heyting algebras

✍ Sergio A. Celani 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB

## Abstract The present paper introduces and studies the variety 𝒲ℋ︁~__n__~ of __n__‐linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic __K__ with a generalization of the axiom that defines the linear intuitionistic

Lukasiewicz and Symmetrical Heyting Alge

Lukasiewicz and Symmetrical Heyting Algebras

✍ Luisa Iturrioz 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 286 KB

Completions of BOOLEAN Algebras with ope

Completions of BOOLEAN Algebras with operators

✍ J. Donald Monk 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 401 KB

The notion of a BooLEan algebra with operators was introduced by J~NSSON and TARSKI [ 5 ] . It encompasses as special cases relation algebras (TARSKI [9]), closure algebras (MCKINSEY-TARSKI [S]), cylindric algebras (HENRIN-TARSKI [4]), polyadic algebras (HALMOS [Z]), and other algebras which have be

Differential Banach *-Algebras of Compac

Differential Banach *-Algebras of Compact Operators Associated with Symmetric Operators

✍ Edward Kissin; Victor S Shulman 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Extensive development of noncommutative geometry requires elaboration of the theory of differential Banach \*-algebras, that is, dense \*-subalgebras of C\*-algebras whose properties are analogous to the properties of algebras of differentiable functions. We consider a specific class of such algebra

Local Algebras of Differential Operators

✍ P.T. Church; J.G. Timourian 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 472 KB

Forcing operators on MTL-algebras

✍ Denisa Diaconescu; George Georgescu 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 166 KB

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 morphis