BL R-series engine fitted to the Maestro with the carburettor facing the front of the car, which also led to a reputation for carburettor icing in cold weather. The endemic problem of crankshaft failure was later attributed to flexing of the crankcase – because the E series relied upon the heavy sump/transmission unit to give additional strength to the cylinder block casting, this caused problems when a plain sump was bolted in its place. The R series was superseded in 1984 by the S series. BL R-series engine The R series is a line of petrol engines introduced by British Leyland in 1983
BL (logic) for BL has been introduced by Petr Hájek (1998). Its single derivation rule is modus ponens: The following are its axiom schemata: The axioms (BL2) and (BL3) of the original axiomatic system were shown to be redundant (Chvalovský, 2012) and (Cintula, 2005). All the other axioms were shown to be independent (Chvalovský, 2012). Like in other propositional t-norm fuzzy logics, algebraic semantics is predominantly used for BL, with three main classes of algebras with respect to which the logic is complete: BL (logic) Basic fuzzy Logic (or shortly BL), the logic of continuous t-norms, is one of t-norm fuzzy logics.