𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra

✍ Scribed by A. G. Pinus

Publisher
SP MAIK Nauka/Interperiodica
Year
2006
Tongue
English
Weight
142 KB
Volume
47
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the consistency of rule bases based o
On the consistency of rule bases based on lattice-valued first-order logic LF(X)
✍ Yang Xu; Jun Liu; Da Ruan; Tsu-Tian Lee πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 209 KB πŸ‘ 1 views

The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system

A continuum theory for first-order phase
A continuum theory for first-order phase transitions based on the balance of structure order
✍ M. Fabrizio; C. Giorgi; A. Morro πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 188 KB πŸ‘ 1 views

## Abstract First‐order phase transitions are modelled by a non‐homogeneous, time‐dependent scalar‐valued order parameter or phase field. The time dependence of the order parameter is viewed as arising from a balance law of the structure order. The gross motion is disregarded and hence the body is