Classes of fuzzy filters of residuated lattice ordered monoids

Title:

Classes of fuzzy filters of residuated lattice ordered monoids

Creator:

Rachůnek, Jiří and Šalounová, Dana

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:f6cec5ea-2a15-41c8-8ad3-b5de389ca8e0
uuid:f6cec5ea-2a15-41c8-8ad3-b5de389ca8e0
doi:10.21136/MB.2010.140685

Subject:

residuated l-monoid, non-classical logics, basic fuzzy logic, intuitionistic logic, filter, fuzzy filter, BL-algebra, MV-algebra, and Heyting algebra

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (Rl-monoids) are common generalizations of BL-algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding algebras. In the paper we investigate implicative, positive implicative, Boolean and fantastic fuzzy filters of bounded Rl-monoids.

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Coverage:

81-97

Source:

Mathematica bohemica | 2010 Volume:135 | Number:1

Harvested from:

CDK

Metadata only:

false