Standard completeness of Hájek basic logic and decompositions of BL-chains
- 18 May 2005
- journal article
- Published by Springer Nature in Soft Computing
- Vol. 9 (12) , 862-868
- https://doi.org/10.1007/s00500-004-0444-x
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Decomposition of BL-chainsAlgebra universalis, 2005
- Free algebras in varieties of BL-algebras generated by a chain.Algebra universalis, 2003
- Varieties of BL-algebras I: general propertiesJournal of Pure and Applied Algebra, 2003
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logicArchive for Mathematical Logic, 2003
- Free algebras in varieties of BL-algebras with a Boolean retract.Algebra universalis, 2002
- On the structure of hoopsAlgebra universalis, 2000
- Basic Fuzzy Logic is the logic of continuous t-norms and their residuaSoft Computing, 2000
- Algebraic Foundations of Many-Valued ReasoningPublished by Springer Nature ,2000
- Algebraizable logicsMemoirs of the American Mathematical Society, 1989
- A New Proof of the Completeness of the Lukasiewicz AxiomsTransactions of the American Mathematical Society, 1959