Similarity monadic basic logic

DOI10.36045/BBMS/1599616814MaRDI QIDQ1999121zbMATH OpenOpenAlexFDO

Authors Saeide Zahiri, A. Borumand Saeid

Publication date 18 March 2021

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bbms/1599616814

zbMATH Keywords

BL-algebracompletenessmonadic filtermonadic logicnon-classical logicsimilaritiessimilarity monadic BL-algebra (logic)

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35)

Review text

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.

Recommendations

• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Similarity triangle logic
• Monadic NM-algebras
• Similarity MTL-algebras and their corresponding logics
• Similarity residuated lattices and the completeness of their corresponding logics

Cites work

• Beyond two: Theory and applications of multiple-valued logic
• Characterizations of \(n\)-fold filters in triangle algebras
• Handbook of mathematical fuzzy logic. Volume 1
• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• scientific article; zbMATH DE number 951671 (Why is no real title available?)
• Metamathematics of fuzzy logic
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Monadic MV-algebras. I: A study of subvarieties
• On monadic MV-algebras
• Pseudo BL-algebra of fractions and maximal pseudo BL-algebra of quotients
• Radicals in MTL-algebras
• Residuated Lattices
• Similarity Lukasiewicz-Moisil algebras
• Similarity MTL-algebras and their corresponding logics
• Similarity MV-algebras
• Similarity relations and fuzzy orderings

Cited in

(8)

• Similarity preservation in default logic
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Monadic bounded hoops
• Completeness for monadic fuzzy logics via functional algebras
• Similarity triangle logic
• Similarity residuated lattices and the completeness of their corresponding logics
• scientific article; zbMATH DE number 3557733 (Why is no real title available?)
• Similarity MTL-algebras and their corresponding logics

This page was built for publication: Similarity monadic basic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1999121)