Non-standard logic and its applications | lit.salon