Similarity monadic basic logic (Q1999121)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Similarity monadic basic logic |
scientific article; zbMATH DE number 7324946
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Similarity monadic basic logic |
scientific article; zbMATH DE number 7324946 |
Statements
Similarity monadic basic logic (English)
0 references
18 March 2021
0 references
The paper studies the extension of Hajek's basic logic with first-order monadic operators. The framework is further extended with a fuzzy similarity relation, in order to obtain structures called similarity monadic BL-algebras. The main results are the following. In Theorem 3.1, we find some characterizations of representable similarity monadic BL-algebras. In Section 4, we have a logic sound and complete for similarity monadic BL-algebras.
0 references
non-classical logic
0 references
BL-algebra
0 references
similarities
0 references
monadic logic
0 references
similarity monadic BL-algebra (logic)
0 references
monadic filter
0 references
completeness
0 references
