Standard completeness of Hájek basic logic and decompositions of BL-chains R. CignoliA. Torrens Focus 18 May 2005 Pages: 862 - 868
Functions represented by BL-algebra formulas: characterization and approximate representation I. Perfilieva Focus 28 June 2005 Pages: 910 - 918
Arithmetical complexity of fuzzy predicate logics – a survey P. Hájek Focus 18 May 2005 Pages: 935 - 941
Short note: on the redundancy of axiom (A3) in BL and MTL Petr Cintula Focus 01 August 2005 Pages: 942 - 942