System transakcyjny metod logicznych