Keywords – non-classical logic and simulating