𝔖 Bobbio Scriptorium
✦   LIBER   ✦

n-linear weakly Heyting algebras

✍ Scribed by Sergio A. Celani

Publisher
John Wiley and Sons
Year
2006
Tongue
English
Weight
178 KB
Volume
52
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 logic or Dummett logic. Special attention is given to the variety 𝒲ℋ︁~2~ that generalizes the linear Heyting algebras studied in [10] and [12], and the linear Basic algebras introduced in [2]. (Β© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ SIMILAR VOLUMES

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

Weakly Azumaya Algebras
Weakly Azumaya Algebras
✍ Darrell Haile; Louis Rowen πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 282 KB

We define a class of algebras, weakly Azumaya algebras, which includes both Azumaya algebras and weak crossed products (cf. Haile [1982,

De Morgan Heyting algebras satisfying th
De Morgan Heyting algebras satisfying the identity xn(β€²*) β‰ˆ x(n+1)(β€²*)
✍ Valeria CastaΓ±o; Marcela MuΓ±oz Santis πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 143 KB

In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x n ( \* ) β‰ˆ x (n + 1)( \* ) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH1 by means of its space of prime filters, and we charact

Weakly associative relation algebras wit
Weakly associative relation algebras with projections
✍ Agi Kurucz πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 194 KB

## Abstract Built on the foundations laid by Peirce, SchrΓΆder, and others in the 19th century, the modern development of relation algebras started with the work of Tarski and his colleagues [21, 22]. They showed that relation algebras can capture strong first‐order theories like ZFC, and so their e