𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bounded distributive lattices with strict implication

✍ Scribed by Sergio Celani; Ramon Jansana

Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
384 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not arise in this way as the variety of Basic algebras or the variety of Heyting algebras. Apart from WH itself the paper studies the subvarieties of WH that naturally correspond to subintuitionistic logics, namely the variety of R-weakly Heyting algebras, the variety of T-weakly Heyting algebras and the varieties of Basic algebras and subresiduated lattices.

πŸ“œ SIMILAR VOLUMES

Entropy Minimization with Lattice Bounds
Entropy Minimization with Lattice Bounds
✍ J.M. Borwein; A.S. Lewis; M.A. Limber πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 420 KB
Functions on Distributive Lattices with
Functions on Distributive Lattices with the Congruence Substitution Property: Some Problems of GrΓ€tzer from 1964
✍ Jonathan David Farley πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 305 KB

Let L be a bounded distributive lattice. For k 1, let S k (L) be the lattice of k-ary functions on L with the congruence substitution property (Boolean functions); let S(L) be the lattice of all Boolean functions. The lattices that can arise as S k (L) or S(L) for some bounded distributive lattice L

Posets That Locally Resemble Distributiv
Posets That Locally Resemble Distributive Lattices: An Extension of Stanley's Theorem (with Connections to Buildings and Diagram Geometries)
✍ Jonathan David Farley; Stefan E. Schmidt πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 335 KB

Let P be a graded poset with 0 and 1 and rank at least 3. Assume that every rank 3 interval is a distributive lattice and that, for every interval of rank at least 4, the interval minus its endpoints is connected. It is shown that P is a distributive lattice, thus resolving an issue raised by Stanle

Strict and effective bounds in goal-orie
Strict and effective bounds in goal-oriented error estimation applied to fracture mechanics problems solved with XFEM
✍ J. Panetier; P. LadevΓ¨ze; L. Chamoin πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 291 KB

## Abstract In this work, we analyze a method that leads to strict and high‐quality local error bounds in the context of fracture mechanics. We investigate in particular the capability of this method to evaluate the discretization error for quantities of interest computed using the extended finite