Logic and Its Applications [electronic resource] : 5th International Conference,