Microscopic traffic models have recently gained considerable importance as a mean of optimising traffic control strategies. Computationally efficient and sufficiently accurate microscopic traffic models have been developed based on the cellular automata theory. However, the real-time application of the available cellular automata models in traffic control systems is a difficult task due to thei...

In this paper we investigate the propositional logic of standard algebras for Hájek’s Basic Fuzzy Logic BL in a language expanded with propositional constants for the idempotent elements delimiting the L-, G-, and Π-components of the algebra. We start from a fixed standard BL-algebra; introduce new propositional constants; present a suitable set of axioms; investigate completeness results; and ...

This paper presents a tableau calculus for finding a model for a set-satisfiable finite set of formulas of a fuzzy logic BL△∼, a fuzzy logic BL with additional Baaz connective △ and the involutive negation ∼, if such a model exists. The calculus is a generalisation of a tableau calculus for BL, which is based on the decomposition theorem for a continuous t-norm. The aforementioned tableau calcu...