Translator Disclaimer
august 2020 Similarity monadic basic logic
Saeide Zahiri, Arsham Borumand Saeid
Bull. Belg. Math. Soc. Simon Stevin 27(3): 321-336 (august 2020). DOI: 10.36045/bbms/1599616814

Abstract

The present study aimed to investigate the similarity monadic $BL$-algebras and prove the completeness of the similarity monadic basic logic. To this end, the similarity monadic $BL$-algebras were defined as: a variety of monadic $BL$-algebras equipped with unary operators $\forall$ and $\exists$, and the vital properties of the algebras were provided. In addition, the S-monadic filters in the similarity monadic $BL$-algebras were introduced and investigated. Correspondingly, the representable similarity monadic $BL$-algebras were characterized, and the notion of the logic of the similarity monadic $BL$-algebras were introduced to prove their soundness and completeness.

Citation

Download Citation

Saeide Zahiri. Arsham Borumand Saeid. "Similarity monadic basic logic." Bull. Belg. Math. Soc. Simon Stevin 27 (3) 321 - 336, august 2020. https://doi.org/10.36045/bbms/1599616814

Information

Published: august 2020
First available in Project Euclid: 9 September 2020

MathSciNet: MR4146734
Digital Object Identifier: 10.36045/bbms/1599616814

Subjects:
Primary: 03B52, 03C05, 03G25, 08B50

Rights: Copyright © 2020 The Belgian Mathematical Society

JOURNAL ARTICLE
16 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.27 • No. 3 • august 2020
Back to Top